CoRR, September 2013
September 2013

Deepak Dhungana, Ching Hoo Tang, Christoph Weidenbach, Patrick Wischnewski:
Automated Verification of Interactive Rule-Based Configuration Systems (Additional Material).
Cheng Bo, Lan Zhang, Xiang-Yang Li:
SilentSense: Silent User Identification via Dynamics of Touch and Movement Behavioral Biometrics.
Kameng Nip, Zhenbo Wang, Fabrice Talla Nobibon, Roel Leus:
A Combination of Flow Shop Scheduling and the Shortest Path Problem.
Kameng Nip, Zhenbo Wang, Wenxun Xing:
Combinations of Some Shop Scheduling Problems and the Shortest Path Problem: Complexity and Approximation Algorithms.
Seyed Pooya Shariatpanahi, Hamed Shah-Mansouri, Babak Hossein Khalaj:
Caching Gain in Wireless Networks with Fading: A Multi-User Diversity Perspective.
Hiroki Miyazako, Yutaka Hori, Shinji Hara:
Turing Instability in Reaction-Diffusion Systems with a Single Diffuser: Characterization Based on Root Locus.
Ryan Wen Liu, Tian (Linger) Xu:
A Robust Alternating Direction Method for Constrained Hybrid Variational Deblurring Model.
An Zeng, Alexandre Vidmer, Matús Medo, Yi-Cheng Zhang:
Information filtering via hybridization of similarity preferential diffusion processes.
Tobias Breiten, Christopher A. Beattie, Serkan Gugercin:
Near-optimal Frequency-weighted Interpolatory Model Reduction.
Yury Polyanskiy, Sergio Verdú:
Empirical distribution of good channel codes with non-vanishing error probability (extended version).
Ahmed Douik, Sameh Sorour, Mohamed-Slim Alouini, Tareq Y. Al-Naffouri:
Delay Minimization for Instantly Decodable Network Coding in Persistent Channels with Feedback Intermittence.


K. V. Rashmi, Nihar B. Shah, Dikang Gu, Hairong Kuang, Dhruba Borthakur, Kannan Ramchandran:
A Solution to the Network Challenges of Data Recovery in Erasure-coded Distributed Storage Systems: A Study on the Facebook Warehouse Cluster.
Oyelami Julius Olusegun, Norafida Binti Ithnin:
People Are the Answer to Security: Establishing a Sustainable Information Security Awareness Training (ISAT) Program in Organization.
Oyelami Julius Olusegun, Norafida Binti Ithnin:
Enhancing the Conventional Information Security Management Maturity Model (ISM3) in Resolving Human Factors in Organization Information Sharing.
Ram Chandra Singh Chauhan, Yatindra Nath Singh, Rachna Asthana:
Design of Minimum Correlated, Maximal Clique Sets of One-Dimensional Uni-polar (Optical) Orthogonal Codes.
George B. Mertzios, Mordechai Shalom, Prudence W. H. Wong, Shmuel Zaks:
Online Regenerator Placement.

Mian Lu, Lei Zhang, Huynh Phung Huynh, Zhongliang Ong, Yun Liang, Bingsheng He, Rick Siow Mong Goh, Richard Huynh:
Optimizing the MapReduce Framework on Intel Xeon Phi Coprocessor.
Lars Buitinck, Gilles Louppe, Mathieu Blondel, Fabian Pedregosa, Andreas Mueller, Olivier Grisel, Vlad Niculae, Peter Prettenhofer, Alexandre Gramfort, Jaques Grobler, Robert Layton, Jake VanderPlas, Arnaud Joly, Brian Holt, Gaël Varoquaux:
API design for machine learning software: experiences from the scikit-learn project.
Paolo Castiglione, Gerald Matz:
Energy-Neutral Source-Channel Coding with Battery and Memory Size Constraints.


Dan C. Ciresan, Jürgen Schmidhuber:
Multi-Column Deep Neural Networks for Offline Handwritten Chinese Character Classification.
Mihaela van der Schaar, Yuanzhang Xiao, William R. Zame:
Designing Efficient Resource Sharing For Impatient Players Using Limited Monitoring.
Kamran Riaz Khan, Affan A. Syed, Syed Ali Khayam:
Traffic analyzer for differentiating BitTorrent handshake failures from port-scans.
Antonis Sidiropoulos, Dimitrios Katsaros, Yannis Manolopoulos:
Categorizing Influential Authors Using Penalty Areas.
(Withdrawn) Fundamental Limits of HRR Profiling and Velocity Compensation For Stepped-Frequency Waveforms.
Xiaojiang Peng, Qiang Peng, Yu Qiao, Junzhou Chen, Mehtab Afzal:
A Study on Unsupervised Dictionary Learning and Feature Encoding for Action Classification.
Attilio Fiandrotti, Valerio Bioglio, Marco Grangetto, Rossano Gaeta, Enrico Magli:
Band Codes for Energy-Efficient Network Coding with Application to P2P Mobile Streaming.
Michal Lopuszynski, Lukasz Bolikowski:
Tagging Scientific Publications using Wikipedia and Natural Language Processing Tools. Comparison on the ArXiv Dataset.
Indaco Biazzo, Alfredo Braunstein, Riccardo Zecchina:
On the performance of a cavity method based algorithm for the Prize-Collecting Steiner Tree Problem on graphs.
Manolis Ploumidis, Nikolaos Pappas, Apostolos Traganitis:
Throughput Optimal Flow Allocation on Multiple Paths for Random Access Wireless Multi-hop Networks.
Yi Cheng, Valery A. Ugrinovskii, Guanghui Wen:
Guaranteed Cost Tracking for Uncertain Coupled Multi-agent Systems Using Consensus over a Directed Graph.
Sebastiaan J. van Schaik, Dan Olteanu, Robert Fink:
ENFrame: A Platform for Processing Probabilistic Data.

Joachim Rosenthal, Natalia Silberstein, Anna-Lena Trautmann:
On the Geometry of Balls in the Grassmannian and List Decoding of Lifted Gabidulin Codes.
Aurélie Lagoutte, Sébastien Tavenas:
The complexity of Shortest Common Supersequence for inputs with no identical consecutive letters.
Saddek Bensalem, Lavindra de Silva, Félix Ingrand, Rongjie Yan:
A Verifiable and Correct-by-Construction Controller for Robot Functional Levels.
Ayse Ünsal, Raymond Knopp:
Distributed Sensing and Transmission of Sporadic Random Samples in a Multiple-Access Channel.
Jean-Rémy Falleri, Cédric Teyton, Matthieu Foucault, Marc Palyart, Floréal Morandat, Xavier Blanc:
The Harmony Platform.
Eric Heim, Hamed Valizadegan, Milos Hauskrecht:
Relative Comparison Kernel Learning with Auxiliary Kernels.
William Bradley Glisson, Tim Storer:
Investigating Information Security Risks of Mobile Device Use within Organizations.

Daniel Zelazo, Antonio Franchi, Heinrich H. Bülthoff, Paolo Robuffo Giordano:
Decentralized Rigidity Maintenance Control with Range-only Measurements for Multi-Robot Systems.
Karim Habak, Khaled A. Harras, Moustafa Youssef:
Bandwidth Aggregation Techniques in Heterogeneous Multi-homed Devices: A Survey.
Shyam Srinivasan:
Optimizing the performance of Lattice Gauge Theory simulations with Streaming SIMD extensions.
Siu On Chan, James R. Lee, Prasad Raghavendra, David Steurer:
Approximate Constraint Satisfaction Requires Large LP Relaxations.
Jiadong Wang, Kasra Vakilinia, Tsung-Yi Chen, Thomas A. Courtade, Guiqiang Dong, Tong Zhang, Hari Shankar, Richard D. Wesel:
Enhanced Precision Through Multiple Reads for LDPC Decoding in Flash Memories.
K. P. Shaji, I. Alsheba, Y. A. Syed Khadar, S. Kannan:
Multiparameter Monitoring and Fault Indication Using Inductive Power Transfer System.
Vijay Borges, Wilson Jeberson:
Survey of Context Information Fusion for Sensor Networks based Ubiquitous Systems.
Mingchao Yu, Parastoo Sadeghi, Neda Aboutorab:
On Throughput and Decoding Delay Performance of Instantly Decodable Network Coding.
Massimo Rimondini, Claudio Squarcella, Giuseppe Di Battista:
From BGP to RTT and Beyond: Matching BGP Routing Changes and Network Delay Variations with an Eye on Traceroute Paths.
Georgios Koutsoumpakis, Iakovos Koutsoumpakis, Anastasios Gounaris:
Skew Handling in Aggregate Streaming Queries on GPUs.


Patrizio Angelini, Giordano Da Lozzo, Giuseppe Di Battista, Fabrizio Frati:
Strip Planarity Testing of Embedded Planar Graphs.
Chu-Xu Zhang, Zi-Ke Zhang, Lu Yu, Chuang Liu, Hao Liu, Xiao-Yong Yan:
Information Filtering via Collaborative User Clustering Modeling.
Frédéric Maffray, Nicolas Trotignon, Kristina Vuskovic:
Algorithms for square-$3PC(\cdot, \cdot)$-free Berge graphs.
Mohammad Tofighi, Kivanç Köse, Ahmet Enis Çetin:
Denoising Using Projection Onto Convex Sets (POCS) Based Framework.
Tsung-Yi Chen, Adam R. Williamson, Nambi Seshadri, Richard D. Wesel:
Feedback Communication Systems with Limitations on Incremental Redundancy.
Ashish Sureka, Monika Gupta, Dipto Sarkar, Vidushi Chaudhary:
A Case-Study on Teaching Undergraduate-Level Software Engineering Course Using Inverted-Classroom, Large-Group, Real-Client and Studio-Based Instruction Model.
Victor Khomenko, Roland Meyer, Reiner Hüchting:
A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets.
Giuseppe Bianchi, Nicola Blefari-Melazzi, Alberto Caponi, Andrea Detti:
A General, Tractable and Accurate Model for a Cascade of Caches.
David M. Bryson, Charles Ofria:
Understanding Evolutionary Potential in Virtual CPU Instruction Set Architectures.
Mohammad Noshad, Maïté Brandt-Pearce:
Application of Expurgated PPM to Indoor Visible Light Communications - Part I: Single-User Systems.
Nadeem Javaid, Obaid ur Rehman, Nabil Ali Alrajeh, Zahoor Ali Khan, Basit Manzoor, S. Ahmed:
AID: An Energy Efficient Decoding Scheme for LDPC Codes in Wireless Body Area Sensor Networks.
Frank Havlak, Mark E. Campbell:
Discrete and Continuous, Probabilistic Anticipation for Autonomous Robots in Urban Environments.
Mohammad Noshad, Maïté Brandt-Pearce:
Application of Expurgated PPM to Indoor Visible Light Communications - Part II: Access Networks.
Nick Williams:
An Exploratory Data Survey of Drug Name Incidence and Prevalence From the FDA's Adverse Event Reporting System, 2004 to 2012Q2.
Furong Huang, U. N. Niranjan, Mohammad Umar Hakeem, Prateek Verma, Animashree Anandkumar:
Fast Detection of Overlapping Communities via Online Tensor Methods on GPUs.
Sina Lashgari, Amir Salman Avestimehr, Changho Suh:
Linear Degrees of Freedom of the X-Channel with Delayed CSIT.
H. Lookman Sithic, T. Balasubramanian:
Survey of Insurance Fraud Detection Using Data Mining Techniques.
Abla Kammoun, Karim Abed-Meraim:
Performance Analysis and Optimal Power Allocation for Linear Receivers Based on Superimposed Training.
Zhao Tan, Peng Yang, Arye Nehorai:
Joint Sparse Recovery Method for Compressed Sensing with Structured Dictionary Mismatch.
Muhammad Nazmul Islam, Narayan B. Mandayam, Sastry Kompella, Ivan Seskar:
Optimal Spectrum Fragmentation in NC-OFDMA based Multi-hop Networks.
Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Guido Sanguinetti:
On the Robustness of Temporal Properties for Stochastic Models. 3-19
Lubos Brim, Tomas Vejpustek, David Safránek, Jana Fabriková:
Robustness Analysis for Value-Freezing Signal Temporal Logic. 20-36
Ye Chen, Christopher Short, Ádám M. Halász, Jeremy S. Edwards:
The impact of high density receptor clusters on VEGF signaling. 37-52
Thao Dang, Tommaso Dreossi:
Falsifying Oscillation Properties of Parametric Biological Models. 53-67
Oded Maler, Ádám M. Halász, Olivier Lebeltel, Ouri Maler:
Exploring the Dynamics of Mass Action Systems. 84-91
Nicolas Mobilia, Alexandre Donzé, Jean Marc Moulis, Eric Fanchon:
Producing a Set of Models for the Iron Homeostasis Network. 92-98
Qin Shu, Diana Catalina Ardila, Ricardo G. Sanfelice, Jonathan P. Vande Geest:
A Hybrid Model of a Genetic Regulatory Network in Mammalian Sclera. 99-105



Niels Bjørn Bugge Grathwohl, Fritz Henglein, Dexter Kozen:
Infinitary Axiomatization of the Equational Theory of Context-Free Languages. 44-55
Eleftherios Matsikoudis, Edward A. Lee:
The Fixed-Point Theory of Strictly Contracting Functions on Generalized Ultrametric Semilattices. 56-71
Stefan Milius, Tadeusz Litak:
Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion. 72-86

Ibrahim Issa, Silas L. Fong, Amir Salman Avestimehr:
Two-Hop Interference Channels: Impact of Linear Schemes.
Ugo de'Liguoro, Alexis Saurin:
Proceedings First Workshop on Control Operators and their Semantics, COS 2013, Eindhoven, The Netherlands, June 24-25, 2013. EPTCS 127, 2013 [contents]
Henry Corrigan-Gibbs, Bryan Ford:
Conscript Your Friends into Larger Anonymity Sets with JavaScript.
Nicolas Derhy, Christophe Picouleau, Nicolas Trotignon:
The four-in-a-tree problem in triangle-free graphs.
Ayan Seal, Mita Nasipuri, Debotosh Bhattacharjee, Dipak Kumar Basu:
Minutiae Based Thermal Face Recognition using Blood Perfusion Data.
Ayan Seal, Suranjan Ganguly, Debotosh Bhattacharjee, Mita Nasipuri, Dipak Kr. Basu:
Automated Thermal Face recognition based on Minutiae Extraction.
Ayan Seal, Suranjan Ganguly, Debotosh Bhattacharjee, Mita Nasipuri, Dipak Kumar Basu:
A Comparative Study of Human thermal face recognition based on Haar wavelet transform (HWT) and Local Binary Pattern (LBP).

Maximilian Ranneberg:
Sensor Setups for State and Wind Estimation for Airborne Wind Energy Converters.
Turlough Neary, Matthew Cook:
Proceedings Machines, Computations and Universality 2013, MCU 2013, Zürich, Switzerland, September 9-11, 2013. EPTCS 128, 2013 [contents]
Luis M. Vaquero, Félix Cuadrado, Dionysios Logothetis, Claudio Martella:
xDGP: A Dynamic Graph Processing System with Adaptive Partitioning.
Elisângela Silva Dias, Diane Castonguay, Humberto J. Longo, Walid Abdala Rfaei Jradi:
Efficient Enumeration of All Chordless Cycles in Graphs.
Mathieu Andro, Gaëtan Tröger:
Statistiques et visibilité des bibliothèques numériques : quelles stratégies de diffusion ?

Jeremy Cohen, Chris D. Cantwell, Neil Chue Hong, David Moxey, Malcolm Illingworth, Andrew Turner, John Darlington, Spencer J. Sherwin:
Simplifying the Development, Use and Sustainability of HPC Software.
Rashmi Gupta, Nisheeth Joshi, Iti Mathur:
Analysing Quality of English-Hindi Machine Translation Engine Outputs Using Bayesian Classification.
Mahdi Cheraghchi, Venkatesan Guruswami:
Non-Malleable Coding Against Bit-wise and Split-State Tampering.
Ayan Seal, Suranjan Ganguly, Debotosh Bhattacharjee, Mita Nasipuri, Dipak Kumar Basu:
Minutiae Based Thermal Human Face Recognition using Label Connected Component Algorithm.
Ayan Seal, Suranjan Ganguly, Debotosh Bhattacharjee, Mita Nasipuri, Dipak Kr. Basu:
Thermal Human face recognition based on Haar wavelet transform and series matching technique.
Puneet Kumar Mongia, B. J. Singh:
Planning and Optimization of Wireless LANs through Field Measurements.
Eric M. Heien, Todd L. Miller, Becky Gietzel, Louise H. Kellogg:
Experiences with Automated Build and Test for Geodynamics Simulation Codes.
Mahmoud Ashour, Amr A. El-Sherif, Tamer A. ElBatt, Amr Mohamed:
Cooperative Access in Cognitive Radio Networks: Stable Throughput and Delay Tradeoffs.
Matthew G. Knepley, Jed Brown, Karl Rupp, Barry F. Smith:
Achieving High Performance with Unified Residual Evaluation.
Mohamed Abu Sharkh, Manar Jammal, Abdallah Shami, Abdelkader H. Ouda:
Resource Allocation in a Network-Based Cloud Computing Environment: Design Challenges.
Nian Li, Chunlei Li, Tor Helleseth, Cunsheng Ding, Xiaohu Tang:
Optimal Ternary Cyclic Codes with Minimum Distance Four and Five.
Mayank Manjrekar, Vinod Ramaswamy, Srinivas Shakkottai:
A Mean Field Game Approach to Scheduling in Cellular Systems.


Kerry A. Seitz Jr., Alex Kennedy, Owen Ransom, Bassam A. Younis, John D. Owens:
A GPU Implementation for Two-Dimensional Shallow Water Modeling.
Martin Balko, Pavel Klavík, Yota Otachi:
Bounded Representations of Interval and Proper Interval Graphs.




Yoshihiko Kakutani, Daisuke Kimura:
Induction by Coinduction and Control Operators in Call-by-Name. 101-112
Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Marek Materzok:
Proving termination of evaluation for System F with control operators. 15-29


Rudolf Freund, Gheorghe Paun:
How to Obtain Computational Completeness in P Systems with One Catalyst. 47-61
Rudolf Freund, Sergiu Ivanov, Marion Oswald, K. G. Subramanian:
One-dimensional Array Grammars and P Systems with Array Insertion and Deletion Rules. 62-75
Anthony Gasperin:
Topology and Non-Deterministic Polynomial Time Computation : Avoidance of The Misbehaviour of Hub-Free Diagrams and Consequences. 76-84
Christian Herrmann, Johanna Sokoli, Martin Ziegler:
Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines. 85-92

Jacob Hendricks, Matthew J. Patitz:
On the Equivalence of Cellular Automata and the Tile Assembly Model. 167-189

Marco Baldi, Federico Bambozzi, Franco Chiaraluce:
On a Family of Circulant Matrices for Quasi-Cyclic Low-Density Generator Matrix Codes.


Amparo Fúster-Sabater:
Characterization of the Least Periods of the Generalized Self-Shrinking Sequences.
Mingchao Yu, Neda Aboutorab, Parastoo Sadeghi:
From Instantly Decodable to Random Linear Network Coding.
Nikolaos Pappas, Marios Kountouris, Anthony Ephremides:
The Stability Region of the Two-User Interference Channel.
Todd J. Green, Alan Schmitt:
Proceedings of the 14th International Symposium on Database Programming Languages (DBPL 2013), August 30, 2013, Riva del Garda, Trento, Italy. 2013 [contents]
Nikolaos Pappas, Marios Kountouris, Anthony Ephremides, Apostolos Traganitis:
On the Stability Region of a Relay-Assisted Multiple Access Scheme.
Chiara Ravazzi, Paolo Frasca, Roberto Tempo, Hideaki Ishii:
Ergodic Randomized Algorithms and Dynamics over Networks.
Raul Gonzalez, Eric Yawei Chen, Collin Jackson:
Automated Password Extraction Attack on Modern Password Managers.
Zahra Sasanian, Robert Wille, D. Michael Miller:
Clarification on the Mapping of Reversible Circuits to the NCV-v1 Library.

Alireza Esna Ashari, Eric Feron:
Formally expressing the semantics of observer-based fault detection software.
Tara N. Sainath, Brian Kingsbury, Abdel-rahman Mohamed, George E. Dahl, George Saon, Hagen Soltau, Tomás Beran, Aleksandr Y. Aravkin, Bhuvana Ramabhadran:
Improvements to deep convolutional neural networks for LVCSR.
Tara N. Sainath, Lior Horesh, Brian Kingsbury, Aleksandr Y. Aravkin, Bhuvana Ramabhadran:
Improving training time of Hessian-free optimization for deep neural networks using preconditioning and sampling.
Charith Perera, Arkady B. Zaslavsky, Michael Compton, Peter Christen, Dimitrios Georgakopoulos:
Semantic-driven Configuration of Internet of Things Middleware.
Shih-Chun Lin, Cheng-Liang Lin:
On Secrecy Capacity of Fast Fading MIMOME Wiretap Channels With Statistical CSIT.
Xingqin Lin, Rapeepat Ratasuk, Amitava Ghosh, Jeffrey G. Andrews:
Modeling, Analysis and Optimization of Multicast Device-to-Device Transmission.
Oliver Obst, Adrian Trinchi, Simon G. Hardin, Matthew Chadwick, Ivan Cole, Tim H. Muster, Nigel Hoschke, Diet Ostry, Don Price, Khoa N. Pham, Tim Wark:
Nano-scale reservoir computing.
Weibing Deng, Armen E. Allahverdyan, B. Li, Qiuping A. Wang:
Rank-frequency relation for Chinese characters.
Yu-Xiang Wang, Choon Meng Lee, Loong-Fah Cheong, Kim-Chuan Toh:
Practical Matrix Completion and Corruption Recovery using Proximal Alternating Robust Subspace Minimization.
Weiran Wang, Miguel Á. Carreira-Perpiñán:
Projection onto the probability simplex: An efficient algorithm with a simple proof, and an application.
O. O. Ogunduyile, Keneilwe Zuva, O. A. Randle, Tranos Zuva:
Ubiquitous healthcare monitoring system using integrated triaxial accelerometer, spo2 and location sensors.
O. A. Randle, O. O. Ogunduyile, Tranos Zuva, N. A. Fashola:
A Comparism of the Performance of Supervised and Unsupervised Machine Learning Techniques in evolving Awale/Mancala/Ayo Game Player.



Yu Cao, Xiaoyan Guo, Stephen Todd:
Hyper-Graph Based Database Partitioning for Transactional Workloads.
Lorenzo Fagiano, Carlo Novara:
Identification of nonlinear controllers from data: theory and computation.
Nikolaos Pappas, Marios Kountouris, Jeongho Jeon, Anthony Ephremides, Apostolos Traganitis:
Network-Level Cooperation in Energy Harvesting Wireless Networks.
David J. Wilson, James H. Davenport, Matthew England, Russell J. Bradford:
A "Piano Movers" Problem Reformulated.
Alireza Pourranjbar, Jane Hillston:
An Aggregation Technique For Large-Scale PEPA Models With Non-Uniform Populations.

Hai Xiong, Longjiang Qu, Chao Li:
A New Method to Compute the 2-adic Complexity of Binary Sequences.
Henri Casanova, Arnaud Giersch, Arnaud Legrand, Martin Quinson, Frédéric Suter:
SimGrid: a Sustained Effort for the Versatile Simulation of Large Scale Distributed Systems.
Coral Calero, Maria Ángeles Moraga, Manuel F. Bertoa:
Towards a Software Product Sustainability Model.
Derrick Wing Kwan Ng, Robert Schober, Hussein M. Alnuweiri:
Power Efficient MISO Beamforming for Secure Layered Transmission.

Randy Heiland, Betsy Thomas, Von Welch, Craig Jackson:
Toward a Research Software Security Maturity Model.
Pierre Olivier, Jalil Boukhobza, Eric Senn:
Flashmon V2: Monitoring Raw NAND Flash Memory I/O Requests on Embedded Linux.

Shaun N. Joseph, Seif Omar Abu Bakr, Gabriel Lugo:
Convergence of Nearest Neighbor Pattern Classification with Selective Sampling.
Joshua A. Grochow, Youming Qiao:
Algorithms for group isomorphism via group extensions and cohomology.
Joost J. Joosten, Fernando Soler-Toscano, Hector Zenil:
Fractal dimension versus computational complexity.
Anshu Dubey, Steven R. Brandt, Richard C. Brower, M. Giles, Paul D. Hovland, Don Q. Lamb, Frank Löffler, Boyana Norris, Brian O'Shea, Claudio Rebbi, Marc Snir, Rajeev Thakur:
Software Abstractions and Methodologies for HPC Simulation Codes on Future Architectures.
Anshu Dubey, Brian van Straalen:
Experiences from Software Engineering of Large Scale AMR Multiphysics Code Frameworks.

Eduardo Graells-Garrido, Barbara Poblete:
#Santiago is not #Chile, or is it? A Model to Normalize Social Media Impact.
Troy A. Johnson, Patrick Seeling:
Desktop and Mobile Web Page Comparison: Characteristics, Trends, and Implications.
Mariano Beguerisse-Díaz, Borislav Vangelov, Mauricio Barahona:
Finding role communities in directed networks using Role-Based Similarity, Markov Stability and the Relaxed Minimum Spanning Tree.
Sean Ahern, Eric Brugger, Brad Whitlock, Jeremy S. Meredith, Kathleen Biagas, Mark C. Miller, Hank Childs:
VisIt: Experiences with Sustainable Software.
Lynn K. Zentner, Michael G. Zentner, Victoria Farnsworth, Michael McLennan, Krishna P. C. Madhavan, Gerhard Klimeck:
nanoHUB.org: Experiences and Challenges in Software Sustainability for a Large Scientific Community.
Daisie Huang, Hilmar Lapp:
Software Engineering as Instrumentation for the Long Tail of Scientific Software.
Nicholas M. Weber, Andrea K. Thomer, Michael Twidale:
Niche Modeling: Ecological Metaphors for Sustainable Software in Science.
Charith Perera, Arkady B. Zaslavsky, Michael Compton, Peter Christen, Dimitrios Georgakopoulos:
Context Aware Sensor Configuration Model for Internet of Things.
Frank Löffler, Steven R. Brandt, Gabrielle Allen, Erik Schnetter:
Cactus: Issues for Sustainable Simulation Software.
Ketan Maheshwari, David Kelly, Scott J. Krieder, Justin M. Wozniak, Daniel S. Katz, Mei Zhi-Gang, Mainak Mookherjee:
Reusability in Science: From Initial User Engagement to Dissemination of Results.
Craig A. Stewart, Julie Wernert, Eric A. Wernert, William K. Barnett, Von Welch:
Initial Findings from a Study of Best Practices and Models for Cyberinfrastructure Software Sustainability.
Haider Mehdi, Safeeullah Soomro, W. R. Khan, Abdul Ghafoor Memon, Abdul Hafeez:
Error-Rate Performance Analysis of Wireless Sensor Networks over Fading Channels.
Fatemeh Anari, Asefeh Asemi, Adeleh Asemi, Munir Abu Bakar:
Social Interactive Media Tools and Knowledge Sharing: A Case Study.
Shel Swenson, Yogesh Simmhan, Viktor K. Prasanna, Manish Parashar, E. Jason Riedy, David A. Bader, Richard W. Vuduc:
Sustainable Software Development for Next-Gen Sequencing (NGS) Bioinformatics on Emerging Platforms.
Jianqin Zhou, Wanquan Liu:
On the $k$-error linear complexity for $2^n$-periodic binary sequences via Cube Theory.
Prashanth B. U. V:
Design and Implementation of Wireless Energy Meter System for Monitoring the Single Phase Supply.
Pierre Aboulker, Marko Radovanovic, Nicolas Trotignon, Kristina Vuskovic:
Graphs that do not contain a cycle with a node that has at least two neighbors on it.
Raphael C. S. Machado, Celina M. H. de Figueiredo, Nicolas Trotignon:
Edge-colouring and total-colouring chordless graphs.
(Withdrawn) Approximation Algorithms for a Balanced Capacity and Distance Constrained Vehicle Routing Problem.
Guosheng Lin, Chunhua Shen, David Suter, Anton van den Hengel:
A General Two-Step Approach to Learning-Based Hashing.
Jan Egger, Junichi Tokuda, Laurent Chauvin, Bernd Freisleben, Christopher Nimsky, Tina Kapur, William M. Wells III:
Integration of the OpenIGTLink Network Protocol for Image-Guided Therapy with the Medical Platform MeVisLab.
John-Olof Nilsson, Peter Händel:
Timing estimation in distributed sensor and control systems with central processing.
Leopoldo E. Bertossi, Jaffer Gardezi:
Tractable vs. Intractable Cases of Matching Dependencies for Query Answering under Entity Resolution.
Jana Pazúriková, Ludek Matyska:
Parallel methods for calculation of long-range electrostatic interactions.

Joël Ouaknine, James Worrell:
Ultimate Positivity is Decidable for Simple Linear Recurrence Sequences.
Eduardo Graells-Garrido, María Cecilia Rivara:
Zahir: a Object-Oriented Framework for Computer Graphics.
Nigam Chandra Parida, Soumyendu Raha, Anand Ramani:
Rollover Preventive Force Synthesis at Active Suspensions in a Vehicle Performing a Severe Maneuver with Wheels Lifted off.
Ramon Ferrer-i-Cancho:
The placement of the head that minimizes online memory: a complex systems approach.


Pritom Ahmed, Costas S. Iliopoulos, A. S. M. Sohidull Islam, M. Sohel Rahman:
The Swap Matching Problem Revisited.
Mark Mawson, Alistair J. Revell:
Memory transfer optimization for a lattice Boltzmann solver on Kepler architecture nVidia GPUs.
Stefano Riverso, Marcello Farina, Riccardo Scattolini, Giancarlo Ferrari-Trecate:
Plug-and-play distributed state estimation for linear systems.
Obaid Ur Rehman, Ian R. Petersen:
A Robust Continuous Time Fixed Lag Smoother for Nonlinear Uncertain Systems.
Mohammad Reza Gholami, Luba Tetruashvili, Erik G. Ström, Yair Censor:
Cooperative Wireless Sensor Network Positioning via Implicit Convex Feasibility.
Amit Chakrabarti, Sagar Kale:
Submodular Maximization Meets Streaming: Matchings, Matroids, and More.
(Withdrawn) On the Strategic Allocation of Social Gratification.


Nuno Mendes, Pedro Neto, J. Norberto Pires, Altino Loureiro:
An optimal fuzzy-PI force/motion controller to increase industrial robot autonomy.
Pedro Neto, Nuno Mendes, J. Norberto Pires, António Paulo Moreira:
CAD-based robot programming: The role of Fuzzy-PI force control in unstructured environments.
Elena Bellodi, Fabrizio Riguzzi:
Structure Learning of Probabilistic Logic Programs by Searching the Clause Space.
Nuno Mendes, Pedro Neto, J. Norberto Pires, Altino Loureiro:
Discretization and fitting of nominal data for autonomous robots.
Pedro Neto, Dário Pereira, J. Norberto Pires, António Paulo Moreira:
Real-Time and Continuous Hand Gesture Spotting: an Approach Based on Artificial Neural Networks.
Pedro Neto, Nuno Mendes, Ricardo Araújo, J. Norberto Pires, António Paulo Moreira:
High-level robot programming based on CAD: dealing with unpredictable environments.
Marcos Ferreira, António Paulo Moreira, Pedro Neto:
A low-cost laser scanning solution for flexible robotic cells: spray coating.
Pedro Neto, J. Norberto Pires, António Paulo Moreira:
Accelerometer-based control of an industrial robotic arm.
Pedro Neto, J. Norberto Pires, António Paulo Moreira:
High-level programming and control for industrial robotics: using a hand-held accelerometer-based input device for gesture and posture recognition.
Nathan Bowler, Sergey Goncharov, Paul Blain Levy, Lutz Schröder:
Exploring the Boundaries of Monad Tensorability on Set.
Nicolas Dugué, Vincent Labatut, Anthony Perez:
Rôle communautaire des capitalistes sociaux dans Twitter.
Pierre-Jean Spaenlehauer:
Complexity Bounds for Computing Critical Points with Gröbner Bases Algorithms: the Mixed Case.
Yongxin Wang, Kumbesan Sandrasegaran, Xinning Zhu, Jingjing Fei, Xiaoying Kong, Cheng-Chung Lin:
Frequency and time domain packet scheduling based on channel prediction with imperfect CQI in LTE.
Derrick Wing Kwan Ng, Robert Schober, Hussein M. Alnuweiri:
Secure Layered Transmission in Multicast Systems with Wireless Information and Power Transfer.
K. S. Kuppusamy, Leena Mary Francis, G. Aghila:
COSMOS A Context Sensitive Model For Dynamic Configuration Of Smartphones Using Multifactor Analysis.
Nicolas de Rugy-Altherre:
Determinant versus Permanent: salvation via generalization? The algebraic complexity of the Fermionant and the Immanant.
Yessica Saez, Laszlo B. Kish, Robert Mingesz, Zoltan Gingl, Claes-Goran Granqvist:
Current and voltage based bit errors and their combined mitigation for the Kirchhoff-law-Johnson-noise secure key exchange.
Seyyed Reza Khaze, Mohammad Masdari, Sohrab Hojjatkhah:
Application of Artificial Neural Networks in Estimating Participation in Elections.
Przemyslaw A. Grabowicz, Luca Maria Aiello, Víctor M. Eguíluz, Alejandro Jaimes:
Distinguishing Topical and Social Groups Based on Common Identity and Bond Theory.
Md. Amir Khusru Akhtar, Gadadhar Sahoo:
A Novel Methodology to Overcome Routing Misbehavior in MANET using Retaliation Model.
Subhonmesh Bose, Elizabeth Bodine-Baron, Babak Hassibi, Adam Wierman:
The Cost of an Epidemic over a Complex Network: A Random Matrix Approach.
Ram Chandra Singh Chauhan, Yatindra Nath Singh, Rachna Asthana:
A Search Algorithm to Find Multiple Sets of One Dimensional Unipolar (Optical) Orthogonal Codes with Same Code-length and Low Weight.
Ram Chandra Singh Chauhan, Yatindra Nath Singh, Rachna Asthana:
Design of Two Dimensional Unipolar (Optical) Orthogonal Codes Through One Dimensional Unipolar (Optical) Orthogonal Codes.
Olivier Serres, Abdullah Kayi, Ahmad Anbar, Tarek A. El-Ghazawi:
Hardware Support for Address Mapping in PGAS Languages; a UPC Case Study.
Saleh Almowuena:
An Efficient Key Agreement Scheme for Wireless Sensor Networks Using Third Parties.
Néstor Cataño, Camilo Rueda, Tim Wahls:
A Machine-Checked Proof for a Translation of Event-B Machines to JML.
Ebrahim MolavianJazi, J. Nicholas Laneman:
A Finite-Blocklength Perspective on Gaussian Multi-Access Channels.
Moez A. AbdelGawad:
An Overview of Nominal-Typing versus Structural-Typing in Object-Oriented Programming.
Shahin Shahrampour, Ali Jadbabaie:
Exponentially Fast Parameter Estimation in Networks Using Distributed Dual Averaging.
Rodrigo Lopez-Pablos:
Elementos de ingeniería de explotación de la información aplicados a la investigación tributaria fiscal.
Kirsch N. Mackey, Roy A. McCann:
An Optimal Load-Frequency Control Method for Inverter-Based Renewable Energy Transmission.
Bolimera Ravi, T. Kishore Kumar:
Speech Enhancement using Kernel and Normalized Kernel Affine Projection Algorithm.
Arpna Shrivastava, R. C. Jain:
Performance analysis of modified algorithm for finding multilevel association rules.
Yahia Benmoussa, Jalil Boukhobza, Eric Senn, Djamel Benazzouz, Yassine Hadjadj Aoul:
DyPS: Dynamic Processor Switching for Energy-Aware Video Decoding on Multi-core SoCs.

Rui Fan, Jichang Zhao, Yan Chen, Ke Xu:
Anger is More Influential Than Joy: Sentiment Correlation in Weibo.
Dian Pratiwi:
Implementation of Function Point Analysis in Measuring The Volume Estimation of Software System in Object Oriented and Structural Model of Academic System.
Nicolas Robinson-Garcia, Daniel Torres-Salinas, Juan Miguel Campanario, Emilio Delgado López-Cózar:
Letter to the editor: Against the Resilience of Rejected Manuscripts.
Emilio Delgado López-Cózar, Nicolas Robinson-Garcia, Daniel Torres-Salinas:
The Google Scholar Experiment: how to index false papers and manipulate bibliometric indicators.
(Withdrawn) Robust watermarking based on DWT SVD.
Rashmi Rai, G. Sahoo, Shabana Mehfuz:
Securing Software as a Service Model of Cloud Computing: Issues and Solutions.
Max Kemman, Martijn Kleppe, Stef Scagliola:
Just Google It - Digital Research Practices of Humanities Scholars.
Marco Guazzone, Cosimo Anglano, Roberto Aringhieri, Matteo Sereno:
Distributed Coalition Formation in Energy-Aware Cloud Federations: A Game-Theoretic Approach (Extended Version).
Harinder Singh, Parteek Kumar:
Implementation of nlization framework for verbs, pronouns and determiners with eugene.
Abhinav Ganesan, B. Sundar Rajan:
Interference Alignment with Diversity for the 2 × 2 X-Network with three antennas.
Rakesh Mohanty, Sangita Patel, Shiba Prasad Dash, Burle Sharma:
TRANS outperforms MTF for two special types of request sequences without locality of reference.
Fabrice Kordon, Alban Linard, Marco Beccuti, Didier Buchs, Lukasz Fronc, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Legond-Aubry, Niels Lohmann, Alexis Marechal, Emmanuel Paviot-Adet, Franck Pommereau, César Rodríguez, Christian Rohr, Yann Thierry-Mieg, Harro Wimmel, Karsten Wolf:
Model Checking Contest @ Petri Nets, Report on the 2013 edition.

Andrea Simonetto, Geert Leus:
On Distributed Optimization, Convex Relaxations, and Sensor Network Localization Problems.
Ahlam Maqqor, Akram Halli, Khalid Satori:
A multi-stream hmm approach to offline handwritten arabic word recognition.
Giorgio Audrito, Alexandru I. Tomescu:
Enumeration of the adjunctive hierarchy of hereditarily finite sets.
R. H. Vishwanath, S. Leena, K. C. Srikantaiah, K. Shreekrishna Kumar, P. Deepa Shenoy, K. R. Venugopal, S. S. Iyengar, Lalit M. Patnaik:
Forecasting Stock Time-Series using Data Approximation and Pattern Sequence Similarity.
(Withdrawn) Max-Flows on Sparse and Dense Networks.
Yahia Benmoussa, Jalil Boukhobza, Eric Senn, Djamel Benazzouz:
Evaluation of the Performance/Energy Overhead in DSP Video Decoding and its Implications.
Supratim Deb, Pantelis Monogioudis:
Learning Based Uplink Interference Management in 4G LTE Cellular Systems.
Fulvio Forni, Rodolphe Sepulchre, Arjan van der Schaft:
On differential passivity of physical systems.
Guodong Shi, Alexandre Proutière, Mikael Johansson, Karl Henrik Johansson:
Randomized Consensus with Attractive and Repulsive Links.
K. S. Sesh Kumar, Francis R. Bach:
Maximizing submodular functions using probabilistic graphical models.
Bondu Venkateswarlu, G. S. V. Prasad Raju:
Mine Blood Donors Information through Improved K-Means Clustering.
Hany SalahEldeen, Michael L. Nelson:
Resurrecting My Revolution: Using Social Link Neighborhood in Bringing Context to the Disappearing Web.
Jeannette Bohg, Antonio Morales, Tamim Asfour, Danica Kragic:
Data-Driven Grasp Synthesis - A Survey.
Robert McColl, David Ediger, Jason Poovey, Dan Campbell, David A. Bader:
A Brief Study of Open Source Graph Databases.


Eleazar Chukwuka, Kamran Arshad:
Energt Efficient MAC Protocols for Wireless Sensor Network: A Survey.
Victor Pillac, Pascal Van Hentenryck, Caroline Even:
A Conflict-Based Path-Generation Heuristic for Evacuation Planning.
Son Hoang Dau, Wentu Song, Chau Yuen:
On Block Security of Regenerating Codes at the MBR Point for Distributed Storage Systems.
(Withdrawn) Asymptotically Optimal Beamforming for Video Streaming in Multi-Antenna Interference Networks.
Pengkai Zhao, Babak Daneshrad:
Adaptive Switching Between Single/Concurrent Link Scheme in Single Hop MIMO Networks.
Raphael C. S. Machado, Celina M. H. de Figueiredo, Nicolas Trotignon:
Complexity of colouring problems restricted to unichord-free and \{square, unichord\}-free graphs.
Juan Carlos Moreno, V. B. Surya Prasath, Gil Melfe Mateus Santos, Hugo Proença:
Robust Periocular Recognition By Fusing Sparse Representations of Color and Geometry Information.
Patoomsiri Songsiri, Thimaporn Phetkaew, Boonserm Kijsirikul:
Enhancements of Multi-class Support Vector Machine Construction from Binary Learners using Generalization Performance.
Pierre Sutra, Etienne Rivière, Pascal Felber:
An Efficient Distributed Obstruction-Free Compare-And-Swap Primitive.
Ingrid Dillo, René van Horik, Andrea Scharnhorst:
Training in Data Curation as Service in a Federated Data Infrastructure - the FrontOffice-BackOffice Model.
Oladunni Femijemilohun, Stuart Walker:
Empirical Performance Evaluation of Enhanced Throughput Schemes of IEEE802.11 Technology in Wireless Area Networks.
Ferdinando Cicalese, Eduardo Sany Laber, Aline Medeiros Saettler:
Decision Trees for the efficient evaluation of discrete functions: worst case and expected case analysis.
Krishnendu Chatterjee, Martin Chmelik, Mathieu Tracol:
What is Decidable about Partially Observable Markov Decision Processes with ω-Regular Objectives.
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Amélie Stainer:
Emptiness and Universality Problems in Timed Automata with Positive Frequency.
Alexandre Denis, Samuel Cruz-Lara, Nadia Bellalem:
General Purpose Textual Sentiment Analysis and Emotion Detection Tools.
Muhammad Rizwan Asghar, Giovanni Russello:
ACTORS: A Goal-driven Approach for Capturing and Managing Consent in e-Health Systems.
Qingchuan Wang, Chen He, Lingge Jiang:
Analytical Framework of LDGM-based Iterative Quantization with Decimation.
Fredrik Johansson:
Rigorous high-precision computation of the Hurwitz zeta function and its derivatives.
Arman Boyaci, Tinaz Ekim, Mordechai Shalom, Shmuel Zaks:
Graphs of Edge-Intersecting Non-Splitting Paths in a Tree: Towards Hole Representations-Part I.
Joseph Hannigan, Guillermo Hernandez, Richard M. Medina, Patrick Roos, Paulo Shakarian:
Mining for Spatially-Near Communities in Geo-Located Social Networks.
Jonathan Ponniah, Yih-Chun Hu, P. R. Kumar:
A System-Theoretic Clean Slate Approach to Provably Secure Ad Hoc Wireless Networking.
Naci Saldi, Tamás Linder, Serdar Yüksel:
Randomized Quantization and Source Coding with Constrained Output Distribution.
Chunxiao Jiang, Yan Chen, Yang Gao, K. J. Ray Liu:
Indian Buffet Game with Negative Network Externality and Non-Bayesian Social Learning.
Paulo Shakarian, Sean Eyre, Damon Paulo:
A Scalable Heuristic for Viral Marketing Under the Tipping Model.
Marcus D. Hanwell, Amitha Perera, Wes Turner, Patrick O'Leary, Katie Osterdahl, Bill Hoffman, Will Schroeder:
Sustainable Software Ecosystems for Open Science.
Francisco Chicano, Andrew M. Sutton, L. Darrell Whitley, Enrique Alba:
Fitness Probability Distribution of Bit-Flip Mutation.
(Withdrawn) The Classification Accuracy of Multiple-Metric Learning Algorithm on Multi-Sensor Fusion.
Frank Nielsen, Richard Nock:
On the Chi square and higher-order Chi distances for approximating f-divergences.
Ping Cao, Zhao Dong, Ke Liu, Kai-Yuan Cai:
Robust Dynamic Selection of Tested Modules in Software Testing for Maximizing Delivered Reliability.
Neetu Goel, R. B. Garg:
Simulation of an Optimum Multilevel Dynamic Round Robin Scheduling Algorithm.
Johannes Kotremba, Stefan Raß, Robert Singer:
Distributed Business Processes - A Framework for Modeling and Execution.
Xiao-Bo Jin, Guanggang Geng, Dexian Zhang:
Combination of Multiple Bipartite Ranking for Web Content Quality Evaluation.
Steffen Limmer, Slawomir Stanczak, Mario Goldenbaum, Renato L. G. Cavalcante:
Exploiting Interference for Efficient Distributed Computation in Cluster-based Wireless Sensor Networks.
Mahmood Saadeh, Roy McCann:
Improved Stability Design of Interconnected Distributed Generation Resources.
Michael Borokhovich, Stefan Schmid:
How (Not) to Shoot in Your Foot with SDN Local Fast Failover: A Load-Connectivity Tradeoff.
Congzhe Cao, Zesong Fei, Jinhong Yuan, Jingming Kuang:
Low Complexity List Successive Cancellation Decoding of Polar Codes.
Roberto Asín, Juan Olate, Leo Ferres:
Cache Performance Study of Portfolio-Based Parallel CDCL SAT Solvers.
Chen Avin, Asaf Cohen, Yoram Haddad, Erez Kantor, Zvi Lotker, Merav Parter, David Peleg:
SINR Diagram with Interference Cancellation.
Zesong Fei, Congzhe Cao, Ming Xiao, Iqbal Hussain, Jingming Kuang:
Improved LT Codes in Low Overhead Regions for Binary Erasure Channels.
Arthur Carvalho, Stanko Dimitrov, Kate Larson:
Proper Scoring Rules for Unobservable Outcomes: An Application to the Peer-Review Process.
Paolo Di Lorenzo, Sergio Barbarossa:
Distributed Estimation and Control of Algebraic Connectivity over Random Graphs.
Kalle Rutanen, Germán Gómez-Herrero, Sirkka-Liisa Eriksson, Karen O. Egiazarian:
A general definition of the big-oh notation for algorithm analysis.
Li Wang, Jie Shao, Yaqin Zhong, Weisong Zhao, Reza Malekian:
Modeling Based on Elman Wavelet Neural Network for Class-D Power Amplifiers.
Akram Ajouli, Julien Cohen, Jean-Claude Royer:
Transformations between Composite and Visitor implementations in Java.
Iman Esmaili Paeen Afrakoti, Saeed Bagheri Shouraki, Farnood Merrikh-Bayat:
Using memristor crossbar structure to implement a novel adaptive real time fuzzy modeling algorithm.
Xiaoyu Chu, Harish Sethu:
Cooperative Topology Control with Adaptation for Improved Lifetime in Wireless Sensor Networks.
Xiaoyu Chu, Harish Sethu:
An Energy Balanced Dynamic Topology Control Algorithm for Improved Network Lifetime.
Salman Hooshmand, Mehdi Behshameh, Omid Hamidi:
A tabu search algorithm with efficient diversification strategy for high school timetabling problem.
Fatemeh Hamidi-Sepehr, Henry D. Pfister, Jean-François Chamberland:
Delay-Sensitive Communication over Fading Channel: Queueing Behavior and Code Parameter Selection.
Zeineb Abderrahim, Elhem Techini, Mohamed Salim Bouhlel:
Progressive Compression of 3D Objects with an Adaptive Quantization.
Chen Avin, Michael Borokhovich, Stefan Schmid:
OBST: A Self-Adjusting Peer-to-Peer Overlay Based on Multiple BSTs.
C. Seshadhri, Ali Pinar, Tamara G. Kolda:
Wedge Sampling for Computing Clustering Coefficients and Triangle Counts on Large Graphs.
Ted Underwood, Michael L. Black, Loretta Auvil, Boris Capitanu:
Mapping Mutable Genres in Structurally Complex Volumes.
Peter Alvaro, Neil Conway, Joseph M. Hellerstein, David Maier:
Blazes: Coordination Analysis for Distributed Programs.
Aditya Vempaty, Lav R. Varshney, Pramod K. Varshney:
Reliable Crowdsourcing for Multi-Class Labeling using Coding Theory.
Parama Bagchi, Debotosh Bhattacharjee, Mita Nasipuri, Dipak Kumar Basu:
A Novel Approach in detecting pose orientation of a 3D face required for face.
Parama Bagchi, Debotosh Bhattacharjee, Mita Nasipuri, Dipak Kr. Basu:
A method for nose-tip based 3D face registration using maximum intensity algorithm.
Zhong-qin Wang, Ning Ye, Reza Malekian, Tingting Zhao, Ruchuan Wang:
Measuring the similarity of PML documents with RFID-based sensors.
Daniel Frank, Karlheinz Ochs, Aydin Sezgin:
A Systematic Approach for Interference Alignment in CSIT-less Relay-Aided X-Networks.
Moreno Marzolla, Gabriele D'Angelo, Marco Mandrioli:
A Parallel Data Distribution Management Algorithm.
Vijayvaradharaj T. Muralidharan, B. Sundar Rajan:
Wireless Bidirectional Relaying, Latin Squares and Graph Vertex Coloring.
Sabyasachi Mukhopadhyay, Paritosh Bhattacharya, B. B. Ghosh:
Application of Vertex coloring in a particular triangular closed path structure and in Krafts inequality.
Joshua W. S. Brown, Olga Ohrimenko, Roberto Tamassia:
Haze: Privacy-Preserving Real-Time Traffic Statistics.
Gary L. Miller, Richard Peng, Shen Chen Xu:
Parallel Algorithms for Approximate Undirected Shortest Paths in $m\log^{3+α}n$ Work.

Feng Jiang, Jie Chen, A. Lee Swindlehurst:
Optimal Power Allocation for Parameter Tracking in a Distributed Amplify-and-Forward Sensor Network.
Abdelrahman M. Ibrahim, Tamer A. ElBatt, Amr El-Keyi:
Coverage Probability Analysis for Wireless Networks Using Repulsive Point Processes.
Charith Perera, Arkady B. Zaslavsky, Chi Harold Liu, Michael Compton, Peter Christen, Dimitrios Georgakopoulos:
Sensor Search Techniques for Sensing as a Service Architecture for The Internet of Things.
Hyunjun Kim, Cihan Tepedelenlioglu:
Unified Sum-BER Performance Analysis of AF MIMO Beamforming in Two-Way Relay Networks.
Ashutosh Singh, Yatindra Nath Singh:
Multipath Approach for Reliability in Query Network based Overlaid Multicasting.
Athma. M. Ram, R. Rama:
An Alternate method to find the chromatic number of a Finite, Connected Graph.
Frederik Armknecht, Manuel Hauptmann, Stefanie Roos, Thorsten Strufe:
Protecting Public OSN Posts from Unintended Access.
(Withdrawn) Dead Zone Penetration Protocol for Cognitive Radio Networks.
Steffen Eger:
(Failure of the) Wisdom of the crowds in an endogenous opinion dynamics model with multiply biased agents.
Mohammad Fanaei, Matthew C. Valenti, Natalia A. Schmid:
Power Allocation for Distributed BLUE Estimation with Full and Limited Feedback of CSI.
Sungjin Im, Maxim Sviridenko:
Optimizing Maximum Flow Time and Maximum Throughput in Broadcast Scheduling.
Nicolae Cleju:
Optimized projections for compressed sensing via rank-constrained nearest correlation matrix.
Pece Mitrevski, Marjan Gusev:
On the Performance Potential of Speculative Execution based on Branch and Value Prediction.
Olivera Kostoska, Pece Mitrevski, Ilija Hristoski:
ICT and Competitiveness of the Macedonian Economy.
Ilija Hristoski, Pece Mitrevski:
Simulating e-Commerce Client-Server Interaction for Capacity Planning.
Paul Beame, Raphaël Clifford, Widad Machmouchi:
Element Distinctness, Frequency Moments, and Sliding Windows.
Yang Liu, Mingyan Liu, Sahand Haji Ali Ahmad:
Sufficient Conditions on the Optimality of Myopic Sensing in Opportunistic Channel Access: A Unifying Framework.
Luis Evaristo Caraballo, Carlos Ochoa, Pablo Pérez-Lantero:
Matching colored points with rectangles.


Yang Liu, Mingyan Liu, Jing Deng:
Revisiting Optimal Power Control: its Dual Effect on SNR and Contention.
Osvaldo Skliar, Ricardo E. Monge, Guillermo Oviedo, Sherry Gapper:
A New Method for the Analysis of Signals: The Square Wave Transform (SWT).
Matias Martinez, Laurence Duchien, Martin Monperrus:
Automatically Extracting Instances of Code Change Patterns with AST Analysis.
Jixue Liu, Selasi Kwashie, Jiuyong Li, Feiyue Ye, Millist W. Vincent:
Discovery of Approximate Differential Dependencies.
Sian-Jheng Lin, Wei-Ho Chung:
Novel Repair-by-Transfer Codes and Systematic Exact-MBR Codes with Lower Complexities and Smaller Field Sizes.
Rahul Singh, I-Hong Hou, P. R. Kumar:
Pathwise Performance of Debt Based Policies for Wireless Networks with Hard Delay Constraints.
Keke Zu, Rodrigo Caiado de Lamare, Martin Haardt:
Low-Complexity Design of Generalized Block Diagonalization Precoding Algorithms for Multiuser MIMO Systems.
Ishani Chakraborty, Ahmed M. Elgammal:
Visual-Semantic Scene Understanding by Sharing Labels in a Context Network.
Tobias Friedrich, Frank Neumann, Christian Thyssen:
Multiplicative Approximations, Optimal Hypervolume Distributions, and the Choice of the Reference Point.
Haiyang Qian, Fu Li, Ravishankar Ravindran, Deep Medhi:
Energy-Aware Aggregation of Dynamic Temporal Workload in Data Centers.
Arpita Chakraborty, Srinjoy Ganguly, Mrinal Kanti Naskar, Anupam Karmakar:
A Trust Based Fuzzy Algorithm for Congestion Control in Wireless Multimedia Sensor Networks (TFCC).
Michael Van den Bergh, Xavier Boix, Gemma Roig, Luc J. Van Gool:
SEEDS: Superpixels Extracted via Energy-Driven Sampling.
Oswin Aichholzer, Thomas Hackl, Matias Korman, Alexander Pilz, Birgit Vogtenhuber:
Geodesic-Preserving Polygon Simplification.
Kechao Huang, Chulong Liang, Xiao Ma, Baoming Bai:
Unequal Error Protection by Partial Superposition Transmission Using LDPC Codes.
Huyen Do, Alexandros Kalousis:
A Metric-learning based framework for Support Vector Machines and Multiple Kernel Learning.
Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard Schicke-Uffmann:
On Characterising Distributability.
Folke Mitzlaff, Martin Atzmueller, Dominik Benz, Andreas Hotho, Gerd Stumme:
User-Relatedness and Community Structure in Social Interaction Networks.
Laura Luzzi, Roope Vehkalahti:
A new design criterion for spherically-shaped division algebra-based space-time codes.


Gaétan Marceau, Pierre Savéant, Marc Schoenauer:
Strategic Planning in Air Traffic Control as a Multi-objective Stochastic Optimization Problem.
Gaétan Marceau, Pierre Savéant, Marc Schoenauer:
Computational Methods for Probabilistic Inference of Sector Congestion in Air Traffic Management.
Anuj Sharma, Prabin Kumar Panigrahi:
A Review of Financial Accounting Fraud Detection based on Data Mining Techniques.
Anuj Sharma, Prabin Kumar Panigrahi:
A Neural Network based Approach for Predicting Customer Churn in Cellular Network Services.

Kato Mivule, Claude Turner:
A Review of Privacy Essentials for Confidential Mobile Data Transactions.
Kush R. Varshney:
Bounded Confidence Opinion Dynamics in a Social Network of Bayesian Decision Makers.
Kato Mivule, Claude Turner:
An Investigation of Data Privacy and Utility Preservation using KNN Classification as a Gauge.
Fabrizio Altarelli, Alfredo Braunstein, Carla-Fabiana Chiasserini, Luca Dall'Asta, Paolo Giaccone, Emilio Leonardi, Riccardo Zecchina:
Stochastic Optimization of Service Provision with Selfish Users.
Debesh K. Das, Debabani Chowdhury, Bhargab B. Bhattacharya, Tsutomu Sasao:
Inadmissible Class of Boolean Functions under Stuck-at Faults.
Hani Mehrpouyan, Mohammad Reza Khanzadi, Michail Matthaiou, Akbar M. Sayeed, Robert Schober, Yingbo Hua:
Improving Bandwidth Efficiency in E-band Communication Systems.
Ahmed Alsum, Michele C. Weigle, Michael L. Nelson, Herbert Van de Sompel:
Profiling Web Archive Coverage for Top-Level Domain and Content Language.
Yasmin AlNoamany, Michele C. Weigle, Michael L. Nelson:
Access Patterns for Robots and Humans in Web Archives.
Yasmin AlNoamany, Ahmed Alsum, Michele C. Weigle, Michael L. Nelson:
Who and What Links to the Internet Archive.
Pål Grønås Drange, Fedor V. Fomin, Michal Pilipczuk, Yngve Villanger:
Exploring Subexponential Parameterized Complexity of Completion Problems.
Patrick C. McGuire, A. Bonnici, K. R. Bruner, C. Gross, Jens Ormö, R. A. Smosna, S. Walter, L. Wendt:
The Cyborg Astrobiologist: Matching of Prior Textures by Image Compression for Geological Mapping and Novelty Detection.
Abdellatif Zaidi, Zohaib Hassan Awan, Shlomo Shamai, Luc Vandendorpe:
Secure Degrees of Freedom of MIMO X-Channels with Output Feedback and Delayed CSIT.
Lijun Chen, Seungil You:
The Weighted Sum Rate Maximization in MIMO Interference Networks: The Minimax Lagrangian Duality and Algorithm.
Bernard Parisse:
A probabilistic and deterministic modular algorithm for computing Groebner basis over $\Q$.
Roman Kolpakov, Mikhail Podolskiy, Mikhail Posypkin, Nickolay Khrapov:
Searching of gapped repeats and subrepetitions in a word.
Ramon Ferrer-i-Cancho:
Why SOV might be initially preferred and then lost or recovered? A theoretical framework.
Qiaoyang Ye, Mazin Al-Shalash, Constantine Caramanis, Jeffrey G. Andrews:
Resource Optimization in Device-to-Device Cellular Systems Using Time-Frequency Hopping.
Dima Kagan, Michael Fire, Aviad Elyashar, Yuval Elovici:
Facebook Applications' Installation and Removal: A Temporal Analysis.
Gaétan Marceau, Pierre Savéant, Marc Schoenauer:
Multiobjective Tactical Planning under Uncertainty for Air Traffic Flow and Capacity Management.
Laszlo B. Kish, Claes-Goran Granqvist:
On the security of the Kirchhoff-law-Johnson-noise (KLJN) communicator.
Benyuan Liu, Zhilin Zhang, Hongqi Fan, Qiang Fu:
Compression via Compressive Sensing : A Low-Power Framework for the Telemonitoring of Multi-Channel Physiological Signals.
Wei-Cheng Liao, Mingyi Hong, Ya-Feng Liu, Zhi-Quan Luo:
Base Station Activation and Linear Transceiver Design for Optimal Resource Management in Heterogeneous Networks.
Tianyang Bai, Rahul Vaze, Robert W. Heath Jr.:
Analysis of Blockage Effects on Urban Cellular Networks.


Tomas Mikolov, Quoc V. Le, Ilya Sutskever:
Exploiting Similarities among Languages for Machine Translation.
Mirza Golam Kibria, Hidekazu Murata:
An efficient algorithm for weighted sum-rate maximization in multicell downlink beamforming.
Hamid Reza Feyzmahdavian, Assad Al Alam, Ather Gattami:
Optimal Distributed Controller Design with Communication Delays: Application to Vehicle Formations.

Ferran Hurtado, Maarten Löffler, Inês Matos, Vera Sacristán Adinolfi, Maria Saumell, Rodrigo I. Silveira, Frank Staals:
Terrain visibility with multiple viewpoints.
Martin Dias, Damien Cassou, Stéphane Ducasse:
Representing Code History with Development Environment Events.

Cristian Lameiro, Óscar González, José Antonio García-Naya, Ignacio Santamaría, Luis Castedo:
Experimental Evaluation of Interference Alignment for Broadband WLAN Systems.
Basit Manzoor, Nadeem Javaid, Obaid ur Rehman, Safdar Hussain Bouk, Syed Hassan Ahmed, Dongkyun Kim:
Energy Aware Error Control in Cooperative Communication in Wireless Sensor Networks.
Sadek Bouroubi, Fella Charchali, Nesrine Benyahia Tani:
The Set Partitions: Solution for the sharing secret keys.
Takashi Tanaka, Farhad Farokhi, Cédric Langbort:
Faithful Implementations of Distributed Algorithms and Control Laws.
M. Aslam, Muhammad Babar Rasheed, Tauseef Shah, A. Rahim, Zahoor Ali Khan, U. Qasim, M. W. Qasim, Ahmad Hassan, Abid Khan, Nadeem Javaid:
Energy optimization and Performance Analysis of Cluster Based Routing Protocols Extended from LEACH for WSNs.
Obaid ur Rehman, Nadeem Javaid, A. Haider, N. Amjad, A. A. Awan, M. Qamar, Zahoor Ali Khan, U. Qasim:
An Energy Efficient Decoding Scheme for Wireless Body Area Sensor Networks.
S. Ahmed, Muhammad Moid Sandhu, N. Amjad, A. Haider, M. Akbar, Ashfaq Ahmad, Zahoor Ali Khan, U. Qasim, Nadeem Javaid:
iMOD LEACH: improved MODified LEACH Protocol for Wireless Sensor Networks.
Danish Mahmood, Nadeem Javaid, Zahoor Ali Khan, U. Qasim, Abid Khan, S. Qurashi, A. M. Memon:
Modeling and Evaluating Performance of Routing Operations in Reactive Routing Protocols.
Danish Mahmood, Nadeem Javaid, U. Qasim, Zahoor Ali Khan, Abid Khan, S. Qurashi, A. M. Memon:
Modeling and Evaluating Performance of Routing Operations in Proactive Routing Protocols.
Piotr Skowron, Piotr Faliszewski:
Approximating the MaxCover Problem with Bounded Frequencies in FPT Time.
Zhanpeng Huang, Pan Hui, Christoph Peylo, Dimitris Chatzopoulos:
Mobile augmented reality survey: a bottom-up approach.
John Christopher McCabe-Dansted, Tim French, Mark Reynolds, Sophie Pinchinat:
Specifying Robustness.
Christian Widmer, Philipp Drewe, Xinghua Lou, Shefali Umrania, Stephanie Heinrich, Gunnar Rätsch:
GRED: Graph-Regularized 3D Shape Reconstruction from Highly Anisotropic and Noisy Images.
A. T. Vermeltfoort, A. W. M. van Schijndel:
Comsol Simulations of Cracking in Point Loaded Masonry with Randomly Distributed Material Properties.
Thoralf Gutierrez, Gautier Krings, Vincent D. Blondel:
Evaluating socio-economic state of a country analyzing airtime credit and mobile phone datasets.
Abdul Razaque, Khaled M. Elleithy:
Restoring the privacy and confidentiality of users over Mobile collaborative learning (MCL) environment.
Abdul Razaque, Khaled M. Elleithy:
Automatic energy saving (AES) modelto boost ubiquitous wireless sensor networks (WSNs).
Nyembo Salama, Christian Bach:
Introduction of 6th Generation Smart Phone combining the features of both Apple and Android smart phone.

Yuanxin Wu:
Further results on "Velocity-position integration formula, part I-Application to in-flight alignment".
Julien Alexandre Dit Sandretto, Cyprien Nicolas:
Cable-Driven Robots with Wireless Control Capability for Pedagogical Illustration in Science.
Anindya Banerjee, Olivier Danvy, Kyung-Goo Doh, John Hatcliff:
Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, Manhattan, Kansas, USA, 19-20th September 2013. EPTCS 129, 2013 [contents]
Parama Bagchi, Debotosh Bhattacharjee, Mita Nasipuri, Dipak Kumar Basu:
A novel approach for nose tip detection using smoothing by weighted median filtering applied to 3D face images in variant poses.
Parama Bagchi, Debotosh Bhattacharjee, Mita Nasipuri, Dipak Kumar Basu:
Detection of pose orientation across single and multiple axes in case of 3D face images.
Parama Bagchi, Debotosh Bhattacharjee, Mita Nasipuri, Dipak Kumar Basu:
A novel approach to nose-tip and eye corners detection using H-K Curvature Analysis in case of 3D images.
Sayan Bhattacharya, Parinya Chalermsook, Kurt Mehlhorn, Adrian Neumann:
New Approximability Results for the Robust k-Median Problem.




(Withdrawn) Security Enhancement of Biometric Authentication Scheme for Telecare Medicine Information Systems with Nonce.
Patrizio Angelini, William S. Evans, Fabrizio Frati, Joachim Gudmundsson:
SEFE with No Mapping via Large Induced Outerplane Graphs in Plane Graphs.
Ann L. Edwards, Alexandra Kearney, Michael Rory Dawson, Richard S. Sutton, Patrick M. Pilarski:
Temporal-Difference Learning to Assist Human Decision Making during the Control of an Artificial Limb.
Edouard Bonnet, Vangelis Th. Paschos, Florian Sikora:
Multiparameterizations for max $k$-set cover and related satisfiability problems.
Abuzer Yakaryilmaz:
Log-space counter is useful for unary languages by help of a constant-size quantum register.
Andriyan Bayu Suksmono:
A Simple Solution To The Uncertain Delay Problem in USRP Based SDR-Radar Systems.
Cenk M. Yetis, Yong Zeng, Kushal Anand, Yong Liang Guan, Erry Gunawan:
Sub-Stream Fairness and Numerical Correctness in MIMO Interference Channels.
Nils Meyer, Manfred Ries, Stefan Solbrig, Tilo Wettig:
iDataCool: HPC with Hot-Water Cooling and Energy Reuse.
Jun Kawahara, Koji M. Kobayashi, Shuichi Miyazaki:
Better Bounds for Online $k$-Frame Throughput Maximization in Network Switches.
Christoph Bunte, Amos Lapidoth, Alex Samorodnitsky:
The Zero-Undetected-Error Capacity Approaches the Sperner Capacity.
Angela Dappert, Andrew N. Jackson, Akiko Kimura:
Developing a Robust Migration Workflow for Preserving and Curating Hand-held Media.
Marios Kountouris, Nikolaos Pappas:
HetNets and Massive MIMO: Modeling, Potential Gains, and Performance Analysis.
(Withdrawn) Cryptanalysis and Improvement of Yan et al.'s Biometric-based authentication scheme for Telecare Medicine Information Systems.

Gábor Hegedüs, Josef Schicho, Hans-Peter Schröcker:
Four-Pose Synthesis of Angle-Symmetric 6R Linkages.
(Withdrawn) 3-extra connectivity of k-ary n-cube networks.

Matthias Wilhelm, Vincent Lenders, Jens B. Schmitt:
An Analytical Model of Packet Collisions in IEEE 802.15.4 Wireless Networks.
Federico Cerutti, Alice Toniolo, Nir Oren, Timothy J. Norman:
Context-dependent Trust Decisions with Subjective Logic.
Cyril Voyant, C. Darras, Marc Muselli, Christophe Paoli, Marie-Laure Nivet, Philippe Poggi:
Bayesian rules and stochastic models for high accuracy prediction of solar radiation.
Nadia Creignou, Raïda Ktari, Arne Meier, Julian-Steffen Müller, Frédéric Olive, Heribert Vollmer:
Parameterized Enumeration with Ordering.
Sean Whalen, Gaurav Pandey:
A Comparative Analysis of Ensemble Classifiers: Case Studies in Genomics.
Ruizhi Liao, Boris Bellalta, Trang Cao Minh, Jaume Barceló, Miquel Oliver:
Uni-MUMAC: A Unified Down/Up-link MU-MIMO MAC Protocol for IEEE 802.11ac WLANs.
Abdoulaye Tall, Richard Combes, Zwi Altman, Eitan Altman:
Distributed coordination of self-organizing mechanisms in communication networks.
Samuel Erskine, Ziengpieng Wu:
Securing the IEEE 802.16 OFDM WiMAX PHYSICAL AND MAC Layer Using STBC Coding and Encryption.
Svetoslav Nakov, Tihomir Ivanov:
A Calibration Algorithm for Microelectromechanical Systems Accelerometers in Inertial Navigation Sensors.

Edson Flórez, Wilfredo Gómez, Lola Bautista:
An ant colony optimization algorithm for job shop scheduling problem.
Brandon Oselio, Alex Kulesza, Alfred O. Hero III:
Multi-layer graph analytics for dynamic social networks.
Yucel Altug, Aaron B. Wagner:
The third-order term in the normal approximation for singular channels.


Isabella Mastroeni:
Abstract interpretation-based approaches to Security - A Survey on Abstract Non-Interference and its Challenging Applications. 41-65

Jeffrey T. Denniston, Austin Melton, Stephen Ernest Rodabaugh:
Formal Contexts, Formal Concept Analysis, and Galois Connections. 105-120


Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Verification of Imperative Programs by Constraint Logic Program Transformation. 186-210
Dimitra Giannakopoulou, Corina S. Pasareanu:
Abstraction and Learning for Infinite-State Compositional Verification. 211-228
Julien Mercadal, Zoé Drey, Charles Consel:
Denotational Semantics of A User-Oriented, Domain-Specific Language. 229-249
Johannes Neubauer, Bernhard Steffen, Tiziana Margaria:
Higher-Order Process Modeling: Product-Lining, Variability Modeling and Beyond. 259-283
Anindya Banerjee, David A. Naumann:
A Simple Semantics and Static Analysis for Stack Inspection. 284-308
Agostino Cortesi, Giulia Costantini, Pietro Ferrara:
A Survey on Product Operators in Abstract Interpretation. 325-336
Francesco Logozzo, Matthieu Martel:
Automatic Repair of Overflowing Expressions with Abstract Interpretation. 341-357
Martin Bodin, Thomas Jensen, Alan Schmitt:
Pretty-big-step-semantics-based Certified Abstract Interpretation (Preliminary version). 360-383
Benedikt Nordhoff, Markus Müller-Olm, Peter Lammich:
Iterable Forward Reachability Analysis of Monitor-DPNs. 384-403

Fabrizio Frati, Serge Gaspers, Joachim Gudmundsson, Luke Mathieson:
Augmenting graphs to minimize the diameter.
Andrei Barbu, Siddharth Narayanaswamy, Jeffrey Mark Siskind:
Saying What You're Looking For: Linguistics Meets Video Search.
Adam Noel, Karen C. Cheung, Robert Schober:
Diffusive Molecular Communication with Disruptive Flows.
James Roberts, Nada Sbihi:
Exploring the Memory-Bandwidth Tradeoff in an Information-Centric Network.
Ralf Steinberger, Mohamed Ebrahim, Marco Turchi:
JRC EuroVoc Indexer JEX - A freely available multi-label categorisation tool.
Ralf Steinberger, Andreas Eisele, Szymon Klocek, Spyridon Pilos, Patrick Schlüter:
DGT-TM: A freely Available Translation Memory in 22 Languages.
David A. Karpuk, Camilla Hollanti:
Rotating Non-Uniform and High-Dimensional Constellations Using Geodesic Flow on Lie Groups.
Dheerendra Mishra, Sourav Mukhopadhyay:
Cryptanalysis of Wu and Xu's authentication scheme for Telecare Medicine Information Systems.
Andreas Strotmann, Arnim Bleier:
Author Name Co-Mention Analysis: Testing a Poor Man's Author Co-Citation Analysis Method.
Angela I. Barbero, Eirik Rosnes, Guang Yang, Øyvind Ytrehus:
Near-Field Passive RFID Communication: Channel Model and Code Design.
Dan Stowell, Mark D. Plumbley:
An open dataset for research on audio field recording archives: freefield1010.
Ralf Steinberger, Bruno Pouliquen, Erik Van der Goot:
An introduction to the Europe Media Monitor family of applications.

Marko Tanaskovic, Lorenzo Fagiano, Roy S. Smith, Manfred Morari:
Adaptive model predictive control with exploring property for constrained linear systems that uses basis function model parametrization.
Volker Diekert, Alexei Miasnikov, Armin Weiß:
Conjugacy in Baumslag's group, generic case complexity, and division in power circuits.
Aurélie Thébaut, Thibault Scholash, Brigitte Charnomordic, Nadine Hilgert:
A modeling approach to design a software sensor and analyze agronomical features - Application to sap flow and grape quality relationship.
Clément Moulin-Frier, Michael A. Arbib:
Recognizing Speech in a Novel Accent: The Motor Theory of Speech Perception Reframed.
Hao Zhuang, Shih-Hung Weng, Chung-Kuan Cheng:
Power Grid Simulation using Matrix Exponential Method with Rational Krylov Subspaces.
Emiliano De Cristofaro, Honglu Du, Julien Freudiger, Gregory Norcie:
Two-Factor or not Two-Factor? A Comparative Usability Study of Two-Factor Authentication.
Vikas J. Dongre, Vijay H. Mankar:
Development of Comprehensive Devnagari Numeral and Character Database for Offline Handwritten Character Recognition.
Ivan Girotto, Axel Kohlmeyer, David Grellscheid, Shawn T. Brown:
Advanced Techniques for Scientific Programming and Collaborative Development of Open Source Software Packages at the International Centre for Theoretical Physics (ICTP).
Nikolay Atanasov, Jerome Le Ny, Kostas Daniilidis, George J. Pappas:
Information Acquisition with Sensing Robots: Algorithms and Error Bounds.

Jun Geng, Erhan Bayraktar, Lifeng Lai:
Bayesian Quickest Change Point Detection with Sampling Right Constraints.
Nikolay Atanasov, Bharath Sankaran, Jerome Le Ny, George J. Pappas, Kostas Daniilidis:
Nonmyopic View Planning for Active Object Detection.
Sina Y. Caliskan, Paulo Tabuada:
Compositional Transient Stability Analysis of Multi-Machine Power Networks.
Véronique Bruyère, Emmanuel Filiot, Mickael Randour, Jean-François Raskin:
Meet Your Expectations With Guarantees: Beyond Worst-Case Synthesis in Quantitative Games.
Haim H. Permuter, Himanshu Asnani, Tsachy Weissman:
Capacity of a POST Channel with and without Feedback.
Josef Spillner, Andrii Chaichenko, Andrey Brito, Francisco Vilar Brasileiro, Alexander Schill:
Operating the Cloud from Inside Out.

Arijit Bishnu, Arijit Ghosh, Subhabrata Paul:
Parameterized complexity of k-tuple and liar's domination.
Paul Hunter, Guillermo A. Pérez, Jean-François Raskin:
Mean-payoff Games with Incomplete Information.
Ivan Komarov, Ali Dashti, Roshan D'Souza:
Fast $k$-NNG construction with GPU-based quick multi-select.
Robert Mansel Gower, Artur L. Gower:
Higher-order Reverse Automatic Differentiation with emphasis on the third-order.
Guodong Shi, Alexandre Proutière, Mikael Johansson, John S. Baras, Karl Henrik Johansson:
Emergent Behaviors over Signed Random Networks in Dynamical Environments.
Martin Dräxler, Johannes Blobel, Philipp Dreimann, Stefan Valentin, Holger Karl:
Anticipatory Buffer Control and Quality Selection for Wireless Video Streaming.

Washington A. Oliveira, Margarida P. Mello, Antônio Carlos Moretti, Ednei F. Reis:
The multi-vehicle covering tour problem: building routes for urban patrolling.
Scott Ainsworth, Michael L. Nelson:
Evaluating Sliding and Sticky Target Policies by Measuring Temporal Drift in Acyclic Walks Through a Web Archive.
Manuel de la Sen, Asier Ibeas, Santiago Alonso-Quesada:
On the asymptotic hyperstability of switched systems.
(Withdrawn) Detection and Isolation of Failures in Linear Multi-Agent Networks.
Yang-Seok Choi, Hooman Shirani-Mehr:
Simultaneous Transmission and Reception: Algorithm, Design and System Level Performance.
Martin A. Coleman:
Integrating Communications and Merging Messaging via the eXtensible Messaging and Presence Protocol.
Jan Egger:
Image-guided therapy system for interstitial gynecologic brachytherapy in a multimodality operating suite.

Lata B. T, Jansi P. K. R, Shaila K, D. N. Sujatha, K. R. Venugopal, Lalit M. Patnaik:
Multiple Domain Secure Routing for Wireless Sensor Networks.
Maxim A. Babenko, Pawel Gawrychowski, Tomasz Kociumaka, Tatiana A. Starikovskaya:
Substring Suffix Selection.
Mona T. Diab, Nizar Habash, Owen Rambow, Ryan Roth:
LDC Arabic Treebanks and Associated Corpora: Data Divisions Manual.


Michael A. Forbes, Ramprasad Saptharishi, Amir Shpilka:
Pseudorandomness for Multilinear Read-Once Algebraic Branching Programs, in any Order.
Robbert van Renesse, Nicolas Schiper, Fred B. Schneider:
Vive la Différence: Paxos vs. Viewstamped Replication vs. Zab.
Xiaogang Liu, Yuan Luo:
A particular case of the conjectures of Johansen and Helleseth and zeta functions.
I. V. Grossu, C. I. Ciuluvica:
On the Importance of Communication and Errors in Supervised Learning of Artificial Neural Networks.
Jun-ichi Koga, Jiro Koga, Shunji Homma:
Checkerboard Problem to Topology Optimization of Continuum Structures.
Vineeth Bala Sukumaran, Utpal Mukherji:
On the tradeoff of average delay and average power for fading point-to-point links with monotone policies.
Tong-Wook Shinn, Tadao Takaoka:
Combining All Pairs Shortest Paths and All Pairs Bottleneck Paths Problems.
Andi Wahju Rahardjo Emanuel, Daniel Jahja Surjawan:
Revised Modularity Index to Measure Modularity of OSS Projects with Case Study of Freemind.
Andi Wahju Rahardjo Emanuel, Retantyo Wardoyo, Jazi Eko Istiyanto, Khabib Mustofa:
Modularity Index Metrics for Java-Based Open Source Software Projects.
Mong-Jen Kao, Jian-Jia Chen, Ignaz Rutter, Dorothea Wagner:
Competitive Design and Analysis for Machine-Minimizing Job Scheduling Problem.
Takeshi Hatanaka, Riku Funada, Masayuki Fujita:
3-D Visual Coverage Based on Gradient Descent Techniques on Matrix Manifold and Its Application to Moving Objects Monitoring.
Loet Leydesdorff, Lutz Bornmann, Werner Marx, Stasa Milojevic:
The historical roots of iMetrics: Referenced Publication Years Spectroscopy (RPYS) routinized and applied to Scientometrics, Journal of Informetrics, and (a subset of) JASIST.
John Tengviel, Kwesi Diawuo:
Comparing the impact of mobile nodes arrival patterns in mobile ad hoc networks using poisson and pareto models.
Petteri Alahuhta, Pekka Abrahamsson, Antti Nummiaho:
On Exploring Consumers' Technology Foresight Capabilities - An Analysis of 4000 Mobile Service Ideas.
Tom Melham, Raphael Cohn, Ian Childs:
On the Semantics of ReFLect as a Basis for a Reflective Theorem Prover.
Ljubisa Stankovic, Milos Dakovic, Stefan Vujovic:
Adaptive Variable Step Algorithm for Missing Samples Recovery in Sparse Signals.
Hindol Adhya, Shyamal Kejriwal, Talasila Sai Deepak, Bhanuteja Gullapalli, Saswata Shannigrahi:
A Comparison of Structural and Behavioral Community Detection Algorithms.



Georges Kaddoum, François Gagnon:
Lower Bound on the BER of a Decode-and-Forward Relay Network Under Chaos Shift Keying Communication System.
Henrik Ohlsson, Tianshi Chen, Sina Khoshfetrat Pakazad, Lennart Ljung, S. Shankar Sastry:
Scalable Anomaly Detection in Large Homogenous Populations.

Faqiang Wang, Wangmeng Zuo, Lei Zhang, Deyu Meng, David Zhang:
A Kernel Classification Framework for Metric Learning.
Chen Avin, Omer Dunay, Stefan Schmid:
Simple Destination-Swap Strategies for Adaptive Intra- and Inter-Tenant VM Migration.
Serdar Ozyurt, Murat Torlak:
Exact Joint Distribution Analysis of Zero-Forcing V-BLAST Gains with Greedy Ordering.
Marco Guerini, Lorenzo Gatti, Marco Turchi:
Sentiment Analysis: How to Derive Prior Polarities from SentiWordNet.
Seyed Hossein Hosseini, Mahrokh G. Shayesteh, Mehdi Chehel Amirani:
Demodulation of Sparse PPM Signals with Low Samples Using Trained RIP Matrix.

Olivier Fercoq, Peter Richtárik:
Smooth minimization of nonsmooth functions with parallel coordinate descent methods.
Gabriel Kronberger, Stephan M. Winkler, Michael Affenzeller, Andreas Beham, Stefan Wagner:
On the Success Rate of Crossover Operators for Genetic Programming with Offspring Selection.
Suman Kalyan Bera, Anamitra R. Choudhury, Syamantak Das, Sambuddha Roy, Jayram S. Thatchachar:
Fenchel Duals for Drifting Adversaries.
Saif Mohammad:
From Once Upon a Time to Happily Ever After: Tracking Emotions in Novels and Fairy Tales.
Michael Kommenda, Gabriel Kronberger, Christoph Feilmayr, Michael Affenzeller:
Data Mining using Unguided Symbolic Regression on a Blast Furnace Dataset.
John Tengviel, Koffi A. Dotche, Kwesi Diawuo:
The impact of mobile nodes arrival patterns in mobile ad hoc networks using poisson models.


Ying Long, Jean-Claude Thill:
Combining smart card data and household travel survey to analyze jobs-housing relationships in Beijing.
Dame Diongue, Ousmane Thiare:
A New Sentinel Approach for Energy Efficient and Hole Aware Wireless Sensor Networks.
Demetres Antoniades, Constantine Dovrolis:
Co-evolutionary dynamics in social networks: A case study of Twitter.
Xiaoming Chen, Xiumin Wang, Xianfu Chen:
Energy-Efficient Optimization for Wireless Information and Power Transfer in Large-Scale MIMO Systems Employing Energy Beamforming.
Alexander Fish, Shamgar Gurevich:
Almost Linear Complexity Methods for Delay-Doppler Channel Estimation.
Jingjin Yu, Sertac Karaman, Daniela Rus:
Persistent Monitoring of Events with Stochastic Arrivals at Multiple Stations.
Nikolay Lubimov, Mikhail Kotov:
Non-negative Matrix Factorization with Linear Constraints for Single-Channel Speech Enhancement.
Md. Shafiqul Islam, Afroza Shirin:
Numerical solutions of a class of second order boundary value problems on using Bernoulli Polynomials.
Chao-Bing Song, Shu-Tao Xia, Xin-Ji Liu:
Improved Analyses for SP and CoSaMP Algorithms in Terms of Restricted Isometry Constants.
Álvaro López García, Enol Fernández-del-Castillo:
Analysis of Scientific Cloud Computing requirement.
Joonas Pääkkönen, Camilla Hollanti, Olav Tirkkonen:
Device-to-Device Data Storage for Mobile Cellular Systems.
Vincent D. Blondel, Kyomin Jung, Pushmeet Kohli, Devavrat Shah:
Partition-Merge: Distributed Inference and Modularity Optimization.

Nicolas Bourgeois, Konrad Dabrowski, Marc Demange, Vangelis Th. Paschos:
Playing with Parameters: Cross-parameterization in Graphs.
José Andre de Moura Brito, Gustavo Silva Semaan, Pedro Luis do Nascimento Silva, Nelson Maculan:
An Integer Programming Formulation Applied to Optimum Allocation in Multivariate Stratified Sampling.
Sergio Callegari, Federico Bizzarri:
Noise Weighting in the Design of ΔΣ Modulators (with a Psychoacoustic Coder as an Example).
Ralf Steinberger, Bruno Pouliquen, Mijail A. Kabadjov, Erik Van der Goot:
JRC-Names: A freely available, highly multilingual named entity resource.
Xin Zheng, Zhiyong Wu, Helen M. Meng, Weifeng Li, Lianhong Cai:
Feature Learning with Gaussian Restricted Boltzmann Machine for Robust Speech Recognition.
Maud Ehrmann, Leonida Della Rocca, Ralf Steinberger, Hristo Tanev:
Acronym recognition and processing in 22 languages.
Benyuan Liu, Hongqi Fan, Zaiqi Lu, Qiang Fu:
Scan-based Compressed Terahertz Imaging and Real-Time Reconstruction via the Complex-valued Fast Block Sparse Bayesian Learning Algorithm.
Jonathan Scarlett:
Second-Order Rate of Constant-Composition Codes for the Gel'fand-Pinsker Channel.
Alexandra Balahur, Ralf Steinberger, Mijail A. Kabadjov, Vanni Zavarella, Erik Van der Goot, Matina Halkia, Bruno Pouliquen, Jenya Belyaeva:
Sentiment Analysis in the News.
(Withdrawn) A Friendship Privacy Attack on Friends and 2-Distant Neighbors in Social Networks.
J Strother Moore, Claus-Peter Wirth:
Automation of Mathematical Induction as part of the History of Logic.
Peter Franek, Stefan Ratschan, Piotr Zgliczynski:
Quasi-decidability of a Fragment of the First-order Theory of Real Numbers.
Aravindh Krishnamoorthy:
On Coefficient Matrices Computation of Structured Vector Autoregressive Model.
Xiangrong Zeng, Mário A. T. Figueiredo:
Solving OSCAR regularization problems by proximal splitting algorithms.
Ari Arapostathis:
On the Non-Uniqueness of Solutions to the Average Cost HJB for Controlled Diffusions with Near-Monotone Costs.
Afroza Shirin, Md. Shafiqul Islam:
Numerical Solutions of Fredholm Integral Equations Using Bernstein Polynomials.

Xiao Fang, Paul Jen-Hwa Hu, Zhepeng (Lionel) Li, Weiyu Tsai:
Predicting Adoption Probabilities in Social Networks.
Jia Du, Ameer Pasha Hosseinbor, Moo K. Chung, Barbara B. Bendlin, Gaurav Suryawanshi, Andrew L. Alexander, Anqi Qiu:
Diffeomorphic Metric Mapping and Probabilistic Atlas Generation of Hybrid Diffusion Imaging based on BFOR Signal Basis.
Ognjen Arandjelovic:
Contextually learnt detection of unusual motion-based behaviour in crowded public spaces.
Ahmed El Shafie, Ahmed K. Sultan:
Optimal Selection of Spectrum Sensing Duration for an Energy Harvesting Cognitive Radio.
Mohammad Bazmara, Shahram Jafari, Fatemeh Pasand:
A Fuzzy expert system for goalkeeper quality recognition.
Germán Terrazas, Hector Zenil, Natalio Krasnogor:
Exploring Programmable Self-Assembly in Non-DNA based Molecular Computing.
Paulo Shakarian, Jana Shakarian, Andrew Ruef:
The Dragon and the Computer: Why Intellectual Property Theft is Compatible with Chinese Cyber-Warfare Doctrine.
Michael Luckeneder, Adam Barker:
Location, Location, Location: Data-Intensive Distributed Computing in the Cloud.
Gwen Spencer, Richard Howarth:
Maximizing the Spread of Stable Influence: Leveraging Norm-driven Moral-Motivation for Green Behavior Change in Networks.
Mickaël Dardaillon, Kevin Marquet, Tanguy Risset, Antoine Scherrer:
Software Defined Radio Architecture Survey for Cognitive Testbeds.
Mickaël Dardaillon, Cédric Lauradoux, Tanguy Risset:
Hardware Implementation of the GPS authentication.
Arman Boyaci, Tinaz Ekim, Mordechai Shalom, Shmuel Zaks:
Graphs of Edge-Intersecting Non-Splitting Paths in a Tree: Representations of Holes-Part II.
Josep Díaz, Ioannis Giotis, Lefteris M. Kirousis, Evangelos Markakis, Maria J. Serna:
On the Stability of Generalized Second Price Auctions with Budgets.
Marie G. Christ, Lene M. Favrholdt, Kim S. Larsen:
Online Bin Covering: Expectations vs. Guarantees.
Jean Gregoire, Emilio Frazzoli, Arnaud de La Fortelle, Tichakorn Wongpiromsarn:
Capacity-aware back-pressure traffic signal control.
Michael Lampis, Valia Mitsou:
The Computational Complexity of the Game of Set and its Theoretical Applications.
Chris Milling, Constantine Caramanis, Shie Mannor, Sanjay Shakkottai:
Distinguishing Infections on Different Graph Topologies.

Liane Gabora:
Should I Stay or Should I Go: Coordinating Biological Needs with Continuously-updated Assessments of the Environment.

Lakshmi Anantharamu, Bogdan S. Chlebus, Mariusz A. Rokicki:
Adversarial Multiple Access Channels with Individual Injection Rates.
Greg Droge, Hiroaki Kawashima, Magnus Egerstedt:
Proportional-Integral Distributed Optimization for Networked Systems.
Haytham Tawfeek al Feel, Ralph Schäfermeier, Adrian Paschke:
An Inter-lingual Reference Approach For Multi-Lingual Ontology Matching.

José R. Correa, Laurent Feuilloley, José A. Soto:
Independent and Hitting Sets of Rectangles Intersecting a Diagonal Line.
Brian Baingana, Gonzalo Mateos, Georgios B. Giannakis:
Dynamic Structural Equation Models for Social Network Topology Inference.
Maziyar Hamdi, Vikram Krishnamurthy:
Removal of Data Incest in Multi-agent Social Learning in Social Networks.
Ali Arshad Nasir, Hani Mehrpouyan, Salman Durrani, Steven D. Blostein, Rodney A. Kennedy:
Timing and Carrier Synchronization with Channel Estimation in AF Two-Way Relaying Networks.
Yao Li, Wenjing Jia, Chunhua Shen, Anton van den Hengel:
Characterness: An Indicator of Text in the Wild.
Masazumi Kurihara, Hidenori Kuwakado:
Generalization of Rashmi-Shah-Kumar Minimum-Storage-Regenerating Codes.
Cem Tekin, Simpson Zhang, Mihaela van der Schaar:
Distributed Online Learning in Social Recommender Systems.
Duyu Tang, Bing Qin, Lanjun Zhou, Kam-Fai Wong, Yanyan Zhao, Ting Liu:
Domain-Specific Sentiment Word Extraction by Seed Expansion and Pattern Generation.
Sheida Dayyani, Mohammad-Reza Khayyambashi:
A Comparative Study of Replication Techniques in Grid Computing Systems.
Tingting Liu, Chenyang Yang:
Genie Chain and Degrees of Freedom of Symmetric MIMO Interference Broadcast Channels.
Laurent Boyer, Martin Delacourt, Victor Poupet, Mathieu Sablik, Guillaume Theyssier:
μ-Limit Sets of Cellular Automata from a Computational Complexity Perspective.
Tharaka Samarasinghe, Hazer Inaltekin, Jamie S. Evans:
Outage Capacity of Opportunistic Beamforming with Random User Locations.
Nikolaos Fountoulakis, Megha Khosla, Konstantinos Panagiotou:
The Multiple-orientability Thresholds for Random Hypergraphs.
Matthias Wildemeersch, Tony Q. S. Quek, Marios Kountouris, Alberto Rabbachin, Cornelis H. Slump:
Successive Interference Cancellation in Heterogeneous Cellular Networks.
Fedor V. Fomin, Petr A. Golovach, Jesper Nederlof, Michal Pilipczuk:
Minimizing Rosenthal Potential in Multicast Games.
Tameem Adel, Benn Smith, Ruth Urner, Daniel W. Stashuk, Daniel J. Lizotte:
Generative Multiple-Instance Learning Models For Quantitative Electromyography.
Stephen H. Bach, Bert Huang, Ben London, Lise Getoor:
Hinge-loss Markov Random Fields: Convex Inference for Structured Prediction.
Krishnakumar Balasubramanian, Kai Yu, Tong Zhang:
High-dimensional Joint Sparsity Random Effects Model for Multi-task Learning.
Paul Beame, Jerry Li, Sudeepa Roy, Dan Suciu:
Lower Bounds for Exact Model Counting and Applications in Probabilistic Databases.
Vaishak Belle, Hector J. Levesque:
Reasoning about Probabilities in Dynamic Systems using Goal Regression.
Damien Bigot, Bruno Zanuttini, Hélène Fargier, Jérôme Mengin:
Probabilistic Conditional Preference Networks.
Byron Boots, Geoffrey J. Gordon, Arthur Gretton:
Hilbert Space Embeddings of Predictive State Representations.
Eliot Brenner, David Sontag:
SparsityBoost: A New Scoring Function for Learning Bayesian Network Structure.
Hung Hai Bui, Tuyen N. Huynh, Sebastian Riedel:
Automorphism Groups of Graphical Models and Lifted Variational Inference.


Nicolas Drougard, Florent Teichteil-Königsbuch, Jean-Loup Farges, Didier Dubois:
Qualitative Possibilistic Mixed-Observable MDPs.
Stefano Ermon, Carla P. Gomes, Ashish Sabharwal, Bart Selman:
Optimization With Parity Constraints: From Binary Codes to Discrete Integration.
Zohar Feldman, Carmel Domshlak:
Monte-Carlo Planning: Theoretically Fast Convergence Meets Practical Efficiency.
Qiang Fu, Huahua Wang, Arindam Banerjee:
Bethe-ADMM for Tree Decomposition based Parallel MAP Inference.
Ravi Ganti, Alexander G. Gray:
Building Bridges: Viewing Active Learning from the Multi-Armed Bandit Lens.
Alborz Geramifard, Thomas J. Walsh, Nicholas Roy, Jonathan P. How:
Batch-iFDD for Representation Expansion in Large MDPs.
Hossein Hajimirsadeghi, Jinling Li, Greg Mori, Mohammed Zaki Hussein, Tarek Sayed:
Multiple Instance Learning by Discriminative Training of Markov Networks.

Antti Hyttinen, Patrik O. Hoyer, Frederick Eberhardt, Matti Järvisalo:
Discovering Cyclic Causal Models with Latent Variables: A General SAT-Based Procedure.
Jean Honorio, Tommi S. Jaakkola:
Inverse Covariance Estimation for High-Dimensional Data in Linear Time and Space: Spectral Methods for Riccati and Sparse Models.
Arindam Khaled, Eric A. Hansen, Changhe Yuan:
Solving Limited-Memory Influence Diagrams Using Branch-and-Bound Search.
Akshat Kumar, Daniel Sheldon, Biplav Srivastava:
Collective Diffusion Over Networks: Models and Inference.
Sanghack Lee, Vasant G. Honavar:
Causal Transportability of Experiments on Controllable Subsets of Variables: z-Transportability.
Marc E. Maier, Katerina Marazopoulou, David T. Arbour, David D. Jensen:
A Sound and Complete Algorithm for Learning Causal Models from Relational Data.
Brandon M. Malone, Changhe Yuan:
Evaluating Anytime Algorithms for Learning Optimal Bayesian Networks.
Denis Deratani Mauá, Cassio Polpo de Campos, Alessio Benavoli, Alessandro Antonucci:
On the Complexity of Strong and Epistemic Credal Networks.
James McInerney, Alex Rogers, Nicholas R. Jennings:
Learning Periodic Human Behaviour Models from Sparse Data for Crowdsourcing Aid Delivery in Developing Countries.
Elad Mezuman, Daniel Tarlow, Amir Globerson, Yair Weiss:
Tighter Linear Program Relaxations for High Order Graphical Models.




Michael Pacer, Joseph Jay Williams, Xi Chen, Tania Lombrozo, Thomas L. Griffiths:
Evaluating computational models of explanation using human judgments.
Patrice Perny, Paul Weng, Judy Goldsmith, Josiah Hanna:
Approximation of Lorenz-Optimal Solutions in Multiobjective Markov Decision Processes.
Marek Petrik, Dharmashankar Subramanian, Janusz Marecki:
Solution Methods for Constrained Markov Decision Process with Continuous Probability Modulation.
Novi Quadrianto, Viktoriia Sharmanska, David A. Knowles, Zoubin Ghahramani:
The Supervised IBP: Neighbourhood Preserving Infinite Latent Feature Models.
Eleni Sgouritsa, Dominik Janzing, Jonas Peters, Bernhard Schölkopf:
Identifying Finite Mixtures of Nonparametric Product Distributions and Causal Inference of Confounders.
Amar Shah, Zoubin Ghahramani:
Determinantal Clustering Processes - A Nonparametric Bayesian Approach to Kernel Based Semi-Supervised Clustering.
Ilya Shpitser, Robin J. Evans, Thomas S. Richardson, James M. Robins:
Sparse Nested Markov models with Log-linear Parameters.
Hossein Azari Soufiani, David C. Parkes, Lirong Xia:
Preference Elicitation For General Random Utility Models.
Nitish Srivastava, Ruslan Salakhutdinov, Geoffrey E. Hinton:
Modeling Documents with Deep Boltzmann Machines.
Charles Tripp, Ross D. Shachter:
Approximate Kalman Filter Q-Learning for Continuous State-Space MDPs.
Michal Valko, Nathaniel Korda, Rémi Munos, Ilias N. Flaounas, Nello Cristianini:
Finite-Time Analysis of Kernelised Contextual Bandits.
Luis Gustavo Vianna, Scott Sanner, Leliane Nunes de Barros:
Bounded Approximate Symbolic Dynamic Programming for Hybrid MDPs.


Maurice Bruynooghe, Hendrik Blockeel, Bart Bogaerts, Broes De Cat, Stef De Pooter, Joachim Jansen, Anthony Labarre, Jan Ramon, Marc Denecker, Sicco Verwer:
Predicate Logic as a Modeling Language: Modeling and Solving some Machine Learning and Data Mining Problems with IDP3.
Sanjog Ray, Anuj Sharma:
A Collaborative Filtering Based Approach for Recommending Elective Courses.
Or Zuk, Amnon Amir, Amit Zeisel, Ohad Shamir, Noam Shental:
Accurate Profiling of Microbial Communities from Massively Parallel Sequencing using Convex Optimization.
Frédéric Lang, Radu Mateescu:
Partial Model Checking using Networks of Labelled Transition Systems and Boole an Equation Systems.
Ryan Kennedy, Laura Balzano, Stephen J. Wright, Camillo J. Taylor:
Online Algorithms for Factorization-Based Structure from Motion.
Othon Michail, Paul G. Spirakis:
Simple and Efficient Local Codes for Distributed Stable Network Construction.
Keyan Zahedi, Georg Martius, Nihat Ay:
Linear combination of one-step predictive information with an external reward in an episodic policy gradient setting: a critical analysis.
Noreen Jamil, Deanna Needell, Johannes Müller, Christof Lutteroth, Gerald Weber:
Kaczmarz Algorithm with Soft Constraints for User Interface Layout.
S. Alireza Banani, Raviraj Adve:
Analyzing the Reduced Required BS Density due to CoMP in Cellular Networks.

Farzad Ghafari Jouneghani, Mohamad Babazadeh, Rogayeh Bayramzadeh:
A review of Quantum Graphical Models.
Sparsh Mittal:
A Cache Reconfiguration Approach for Saving Leakage and Refresh Energy in Embedded DRAM Caches.


Frank Nielsen, Richard Nock:
Total Jensen divergences: Definition, Properties and k-Means++ Clustering.
Yanshan Wang, In-Chan Choi:
Market Index and Stock Price Direction Prediction using Machine Learning Techniques: An empirical study on the KOSPI and HSI.
Alex Graudenzi, Giulio Caravagna, Giancarlo Mauri, Marco Antoniotti:
Proceedings Wivace 2013 - Italian Workshop on Artificial Life and Evolutionary Computation, Milan, Italy, July 1-2, 2013.
Luca Felicetti, Mauro Femminella, Gianluca Reali:
Establishing digital molecular communications in blood vessels.
Nicolas Beldiceanu, Pierre Flener, Justin Pearson, Pascal Van Hentenryck:
Propagating Regular Counting Constraints.
Dipankar Saha, Subhramita Basak, Sagar Mukherjee, Chandan Kumar Sarkar:
A Low-Voltage, Low-Power 4-bit BCD Adder, designed using the Clock Gated Power Gating, and the DVT Scheme.
Priyanka Manchanda:
Quantum Artificial Intelligence : A Survey of Application of Quantum Physics in Artificial Intelligence.
Alberto Lumbreras, James Lanagan, Julien Velcin, Bertrand Jouve:
Analyse des rôles dans les communautés virtuelles : définitions et premières expérimentations sur IMDb.
Rolf Fagerberg, Christoph Flamm, Daniel Merkle, Philipp Peters, Peter F. Stadler:
On the Complexity of Reconstructing Chemical Reaction Networks.
Yogesh Anbalagan, Sergey Norin, Rahul Savani, Adrian Vetta:
Polylogarithmic Supports are required for Approximate Well-Supported Nash Equilibria below 2/3.
Ahmed Abbasi, Hsinchun Chen:
Detecting Fake Escrow Websites using Rich Fraud Cues and Kernel Based Methods.
F. Mariam Zahedi, Ahmed Abbasi, Yan Chen:
Design Elements that Promote the use of Fake Website Detection Tools.
Ahmed Abbasi, Siddharth Kaza, F. Mariam Zahedi:
Evaluating Link-Based Techniques for Detecting Fake Pharmacy Websites.
Tianjun Fu, Ahmed Abbasi, Daniel Zeng, Hsinchun Chen:
Evaluating the Usefulness of Sentiment Information for Focused Crawlers.

Hamidreza Sotoodeh, Farshad Safaei, Arghavan Sanei, Elahe Daei:
A General Stochastic Information Diffusion Model in Social Networks based on Epidemic Diseases.
Himangshu Sarma, Navanath Saharia, Utpal Sharma, Smriti Kumar Sinha, Mancha Jyoti Malakar:
Development and Transcription of Assamese Speech Corpus.

Ralph Nathan, Bryan Anthonio, Shih-Lien Lu, Helia Naeimi, Daniel J. Sorin, Xiaobai Sun:
Recycled Error Bits: Energy-Efficient Architectural Support for Higher Precision Floating Point.
Ankit R. Chadha, Neha S. Satam, Beena Ballal:
Orthogonal Frequency Division Multiplexing and its Applications.
Adrian Paschke:
OntoMaven: Maven-based Ontology Development and Management of Distributed Ontology Repositories.
Henry Corrigan-Gibbs, Wendy Mu, Dan Boneh, Bryan Ford:
Ensuring High-Quality Randomness in Cryptographic Key Generation.
Zhenhua Zou, Alexandre Proutière, Mikael Johansson:
Online Shortest Path Routing: The Value of Information.
Chuan Shi, Xiangnan Kong, Yue Huang, Philip S. Yu, Bin Wu:
HeteSim: A General Framework for Relevance Measure in Heterogeneous Networks.
Longjiang Qu, Yin Tan, Chao Li, Guang Gong:
More Constructions of Differentially 4-uniform Permutations on $\gf_{2^{2k}}$.
Mit Sheth, Krishna Gopal Benerjee, Manish K. Gupta:
Quorum Sensing for Regenerating Codes in Distributed Storage.
Song Noh, Michael D. Zoltowski, Youngchul Sung, David J. Love:
Pilot Beam Pattern Design for Channel Estimation in Massive MIMO Systems.
Hyeji Kim, Yeow-Khiang Chia, Abbas El Gamal:
A Note on Broadcast Channels with Stale State Information at the Transmitter.
K. Viswanadh, Garimella Rama Murthy:
Optimal Hybrid Channel Allocation: Based On Machine Learning Algorithms.
Jung Hoon Lee, Wan Choi:
Multiuser Diversity for Secrecy Communications Using Opportunistic Jammer Selection - Secure DoF and Jammer Scaling Law.
Rama Murthy Garimella, Deepti Singhal:
Grid-based Network Architecture for Distributed Computation in Wireless Sensor Networks.
Anirban Mukhopadhyay, Suchendra M. Bhandarkar, Fatih Porikli:
Detection and Characterization of Intrinsic Symmetry.
Junzhou Chen, Qing Li, Qiang Peng, Kin Hong Wong:
CSIFT Based Locality-constrained Linear Coding for Image Classification.
Franc Brglez:
On Self-Avoiding Walks across n-Dimensional Dice and Combinatorial Optimization: An Introduction.
Alexander Fix, Thorsten Joachims, Sam Park, Ramin Zabih:
Structured learning of sum-of-submodular higher order energy functions.
Modou Gueye, Talel Abdessalem, Hubert Naacke:
Improving tag recommendation by folding in more consistency.
Michael Carosino, Yiming Chen, Benjamin Belzer, Krishnamoorthy Sivakumar, Jacob Murray, Paul Wettin:
Iterative Detection and Decoding for the Four-Rectangular-Grain TDMR Model.
Dian Pratiwi, Diaz D. Santika, Bens Pardamean:
An Application of Backpropagation Artificial Neural Network Method for Measuring The Severity of Osteoarthritis.

Masahito Hayashi, Shun Watanabe:
Non-Asymptotic and Asymptotic Analyses on Markov Chains in Several Problems.
An Liu, Vincent K. N. Lau:
Joint Power and Antenna Selection Optimization in Large Cloud Radio Access Networks.
Santhosh Kumar, Andrew J. Young, Nicolas Macris, Henry D. Pfister:
Threshold Saturation for Spatially-Coupled LDPC and LDGM Codes on BMS Channels.
Rui Wang, Hani Mehrpouyan, Meixia Tao, Yingbo Hua:
Channel Estimation, Carrier Recovery, and Data Detection in the Presence of Phase Noise in OFDM Relay Systems.
Frédéric Magniez, Ashwin Nayak, Miklos Santha, Jonah Sherman, Gábor Tardos, David Xiao:
Improved bounds for the randomized decision tree complexity of recursive majority.
Ahmad Alsharoa, Hakim Ghazzai, Mohamed-Slim Alouini:
Optimal Transmit Power Allocation for MIMO Two-Way Cognitive Relay Networks with Multiple Relays.
Christian Häger, Alexandre Graell i Amat, Alex Alvarado, Fredrik Brännström, Erik Agrell:
Optimized Bit Mappings for Spatially Coupled LDPC Codes over Parallel Binary Erasure Channels.
Tamir Hazan, Subhransu Maji, Tommi S. Jaakkola:
On Sampling from the Gibbs Distribution with Random Maximum A-Posteriori Perturbations.
Kevin Rojas Laura, Christhian Cardenas Alvarez:
Identificación y Registro Catastral de Cuerpos de Agua mediante Técnicas de Procesamiento Digital de Imagenes.
Balázs Hidasi, Domonkos Tikk:
Context-aware recommendations from implicit data via scalable tensor factorization.
Mohamed El-Hadedy, Georgios Pitsilis, Svein J. Knapskog:
An Efficient Authorship Protection Scheme for Shared Multimedia Content.
Sara Gholipour P., Heydar Toosian Sh:
Dynamic Sliding Mode Control based on Fractional calculus subject to uncertain delay based chaotic pneumatic robot.

Chiara Damiani, Alessandro Filisetti, Alex Graudenzi, Marco Villani, Roberto Serra:
Recent developments in research on catalytic reaction networks. 3-13
Giordano Rampioni, Luisa Damiano, Marco Messina, Francesca D'Angelo, Livia Leoni, Pasquale Stano:
Chemical communication between synthetic and natural cells: a possible experimental design. 14-26
Alessandro Fontana, Borys Wróbel:
Evolution and development of complex computational systems using the paradigm of metabolic computing in Epigenetic Tracking. 27-34
Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini:
Application of a Semi-automatic Algorithm for Identification of Molecular Components in SBML Models. 43-52
Andrea G. Citrolo, Giancarlo Mauri:
A Hybrid Monte Carlo Ant Colony Optimization Approach for Protein Structure Prediction in the HP Model. 61-69
Roberto Serra, Alessandro Filisetti, Alex Graudenzi, Chiara Damiani, Marco Villani:
A model of protocell based on the introduction of a semi-permeable membrane in a stochastic model of catalytic reaction networks. 70-73
Daniele Ramazzotti, Carlo Maj, Marco Antoniotti:
A Model of Colonic Crypts using SBML Spatial. 74-78
Giulio Caravagna, Alex Graudenzi, Marco Antoniotti, Giovanni De Matteis:
Analysis of the spatial and dynamical properties of a multiscale model of intestinal crypts. 79-82
Domenico Fraccalvieri, Laura Bonati, Fabio Stella:
Self Organizing Maps to efficiently cluster and functionally interpret protein conformational ensembles. 83-86
Daniela Besozzi, Giulio Caravagna, Paolo Cazzaniga, Marco S. Nobile, Dario Pescini, Alessandro Re:
GPU-powered Simulation Methodologies for Biological Systems. 87-91
Chiara Damiani, Riccardo Colombo, Sara Molinari, Dario Pescini, Daniela Gaglio, Marco Vanoni, Lilia Alberghina, Giancarlo Mauri:
An ensemble approach to the study of the emergence of metabolic and proliferative disorders via Flux Balance Analysis. 92-97
Gianluca Colombo, Ettore Colombo, Andrea Bonomi, Alessandro Mosca, Simone Bassis:
Semi-structured data extraction and modelling: the WIA Project. 98-103
Simone Righi, Károly Takács:
Signed Networks, Triadic Interactions and the Evolution of Cooperation. 104-107
Emanuele Massaro, Henrik Olsson, Andrea Guazzini, Franco Bagnoli:
Impact of local information in growing networks. 53-60
Junil Choi, David J. Love, Patrick Bidigare:
Downlink Training Techniques for FDD Massive MIMO Systems: Open-Loop and Closed-Loop Training with Memory.

Alex Chen, Timothy Chu, Nathan Pinsker:
Computing the Longest Increasing Subsequence of a Sequence Subject to Dynamic Insertion.
Tao Zhang, Shuxing Li, Tao Feng, Gennian Ge:
Some New Results on the Cross Correlation of $m$-sequences.
(Withdrawn) Maximizing Infinite-horizon Based Profits for Crowd Sensing in Mobile Social Networks.
Jozef Gruska, Daowen Qiu, Shenggen Zheng:
Communication complexity of promise problems and their applications to finite automata.
Stefanos Ougiaroglou, Georgios Evangelidis, Dimitrios Dervos:
An Extensive Experimental Study on the Cluster-based Reference Set Reduction for speeding-up the k-NN Classifier.
Mojtaba Nouri Bygi, Mohammad Ghodsi:
Near Optimal Line Segment Weak Visibility Queries in Simple Polygons.
Yeon-Geun Lim, Chan-Byoung Chae, Giuseppe Caire:
Performance Analysis of Massive MIMO for Cell-Boundary Users.
Guillaume Berhault, Camille Leroux, Christophe Jégo, Dominique Dallet:
Partial Sums Generation Architecture for Successive Cancellation Decoding of Polar Codes.


Benyuan Liu, Zhilin Zhang, Gary Xu, Hongqi Fan, Qiang Fu:
Energy Efficient Telemonitoring of Physiological Signals via Compressed Sensing: A Fast Algorithm and Power Consumption Evaluation.
Manolis Ploumidis, Nikolaos Pappas, Vasilios A. Siris, Apostolos Traganitis:
On the Performance of Network Coding and Forwarding Schemes with Different Degrees of Redundancy for Wireless Mesh Networks.
Archontia C. Giannopoulou, Daniel Lokshtanov, Saket Saurabh, Ondrej Suchý:
Tree Deletion Set has a Polynomial Kernel (but no OPT^O(1) approximation).
Arvind Yedla, Yung-Yih Jian, Phong S. Nguyen, Henry D. Pfister:
A Simple Proof of Maxwell Saturation for Coupled Scalar Recursions.
Mauro de Amorim, Ricardo Fabbri, Lucia Maria dos Santos Pinto, Francisco Duarte Moura Neto:
An Image-Based Fluid Surface Pattern Model.
Ashwin Pananjady, Vivek Kumar Bagaria, Rahul Vaze:
Maximizing Utility Among Selfish Users in Social Groups.
Matthew J. Bellman, Teng-Hu Cheng, Ryan Downey, Warren E. Dixon:
Stationary Cycling Induced by Switched Functional Electrical Stimulation Control.
Philipp Mayr, Peter Mutschke:
Bibliometric-enhanced Retrieval Models for Big Scholarly Information Systems.
Hani Abdeen, Osama Shata, Abdelkarim Erradi:
Software Interfaces: On The Impact of Interface Design Anomalies.
Cristina G. Fernandes, Rafael Crivellari Saliba Schouery:
Approximation Algorithms for the Max-Buying Problem with Limited Supply.
Ahmed Abbasi, Zhu Zhang, Hsinchun Chen:
A Statistical Learning Based System for Fake Website Detection.

Ann Nicholson, Padhraic Smyth:
Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence (2013).
Zhung-Xun Liao, Shou-Chung Li, Wen-Chih Peng, Philip S. Yu:
On the Feature Discovery for App Usage Prediction in Smartphones.
Jan Goedgebeur, Stanislaw P. Radziszowski:
The Ramsey Number $R(3, K_{10}-e)$ and Computational Bounds for $R(3, G)$.
Cláudio L. N. Oliveira, Pablo A. Morais, André A. Moreira, José S. Andrade Jr.:
Enhanced Flow in Small-World Networks.
Anthony Man-Cho So:
Non-Asymptotic Convergence Analysis of Inexact Gradient Methods for Machine Learning Without Strong Convexity.
Giacomo Como, Fabio Fagnani:
Robustness of large-scale stochastic matrices to localized perturbations.


Mahdi S. Hosseini, Konstantinos N. Plataniotis:
High-Accuracy Total Variation for Compressed Video Sensing.
Tianyi Zhou, Dacheng Tao:
Unmixing Incoherent Structures of Big Data by Randomized or Greedy Decomposition.




Tomoyuki Yamakami:
A Non-Interactive Quantum Bit Commitment Scheme that Exploits the Computational Hardness of Quantum State Distinction.
T. Tony Cai, Tengyuan Liang, Harrison H. Zhou:
Law of Log Determinant of Sample Covariance Matrix and Optimal Estimation of Differential Entropy for High-Dimensional Gaussian Distributions.
Pascal Koiran, Natacha Portier, J. Maurice Rojas:
Counting Tropically Degenerate Valuations and p-adic Approaches to the Hardness of the Permanent.
Wanyang Dai:
Product-form solutions for integrated services packet networks and cloud computing systems.

Chi Ho Yeung, David Saad, K. Y. Michael Wong:
From the Physics of Interacting Polymers to Optimizing Routes on the London Underground.
Philip Graff, Farhan Feroz, Michael P. Hobson, Anthony N. Lasenby:
SKYNET: an efficient and robust neural network training tool for machine learning in astronomy.
Bojan Marinkovic, Zoran Ognjanovic, Dragan Doder, Aleksandar Perovic:
A Propositional Linear Time Logic with Time Flow Isomorphic to ω^2.
Ehtibar N. Dzhafarov, Janne V. Kujala:
Random Variables Recorded under Mutually Exclusive Conditions: Contextuality-by-Default.


Marzia Rivi, Claudio Gheller, Mel Krokos, Klaus Dolag, Martin Reinecke:
GPU Accelerated Particle Visualization with Splotch.
Juan Fernández-Gracia, Krzysztof Suchecki, José J. Ramasco, Maxi San Miguel, Víctor M. Eguíluz:
Is the Voter Model a model for voters?
Evgenia Chunikhina, Raviv Raich, Thinh P. Nguyen:
Confidence-constrained joint sparsity recovery under the Poisson noise model.
Simon Kramer:
Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer).
Aleksandr Y. Aravkin, Anna Choromanska, Dimitri Kanevsky, Tony Jebara:
Semistochastic Quadratic Bound Methods for Convex and Nonconvex Learning Problems.
Elchanan Mossel, Joe Neeman, Allan Sly:
Belief Propagation, Robust Reconstruction, and Optimal Recovery of Block Models.

Peng Guo, Wenming Cheng, Yi Wang:
Parallel machine scheduling with step deteriorating jobs and setup times by a hybrid discrete cuckoo search algorithm.
Andres Hoyos Idrobo, Pierre Weiss, Aurélien Massire, Alexis Amadon, Nicolas Boulant:
On Variant Strategies To Solve The Magnitude Least Squares Optimization Problem In Parallel Transmission Pulse Design And Under Strict SAR And Power Constraints.
Gene Katsevich, Alexander Katsevich, Amit Singer:
Covariance Matrix Estimation for the Cryo-EM Heterogeneity Problem.
S. Yusef Shafi, Murat Arcak:
An Adaptive Algorithm for Synchronization in Diffusively Coupled Systems.



Charalambos D. Charalambous, Nasir Uddin Ahmed:
Dynamic Team Theory of Stochastic Differential Decision Systems with Decentralized Noisy Information Structures via Girsanov's Measure Transformation.
Kojiro Higuchi, Takayuki Kihara:
Inside the Muchnik Degrees II: The Degree Structures induced by the Arithmetical Hierarchy of Countably Continuous Functions.
Alekh Agarwal, Animashree Anandkumar, Praneeth Netrapalli:
Exact Recovery of Sparsely Used Overcomplete Dictionaries.
Dirk A. Lorenz, Frank Schöpfer, Stephan Wenger:
The Linearized Bregman Method via Split Feasibility Problems: Analysis and Generalizations.
Jacek Gondzio, Pablo González-Brevis, Pedro Munari:
Large-scale optimization with the primal-dual column generation method.
Wilbert Samuel Rossi, Paolo Frasca, Fabio Fagnani:
Effective resistance of toroidal graphs; some sharper results and applications.
Andrea Asztalos, Sameet Sreenivasan, Boleslaw K. Szymanski, Gyorgy Korniss:
Cascading failures in spatially-embedded random networks.


Shai Shalev-Shwartz, Tong Zhang:
Accelerated Proximal Stochastic Dual Coordinate Ascent for Regularized Loss Minimization.
Mark W. Schmidt, Nicolas Le Roux, Francis R. Bach:
Minimizing Finite Sums with the Stochastic Average Gradient.
Christian Kruschel, Dirk A. Lorenz:
Computing and Analyzing Recoverable Supports for Sparse Reconstruction.



Koki Murano, Tomoyoshi Shimobaba, Atsushi Sugiyama, Naoki Takada, Takashi Kakue, Minoru Oikawa, Tomoyoshi Ito:
Fast computation of computer-generated hologram using Xeon Phi coprocessor.
Fabrizio Altarelli, Alfredo Braunstein, Luca Dall'Asta, J. R. Wakeling, Riccardo Zecchina:
Containing epidemic outbreaks by message-passing techniques.
Vladimir V. Bytev, Bernd A. Kniehl:
HYPERgeometric functions DIfferential REduction: MATHEMATICA based packages for differential reduction of generalized hypergeometric functions: Horn hypergeometric functions of two variables.
Roberto Imbuzeiro Oliveira:
Stochastic processes with random contexts: a characterization, and adaptive estimators for the transition probabilities.
Anastasiia Anishchenko, Alexander Blumen, Oliver Mülken:
Geometrical aspects of quantum walks on random two-dimensional structures.
Shabnam N. Kadir, Dan F. M. Goodman, Kenneth D. Harris:
High-dimensional cluster analysis with the Masked EM Algorithm.

Chris Häusler, Alex K. Susemihl, Martin P. Nawrot, Manfred Opper:
Temporal Autoencoding Improves Generative Models of Time Series.
Federica Garin, Ye Yuan:
Distributed privacy-preserving network size computation: A system-identification based method.
Milán Mosonyi, Tomohiro Ogawa:
Quantum hypothesis testing and the operational interpretation of the quantum Renyi relative entropies.
Franz J. Király:
Efficient Orthogonal Tensor Decomposition, with an Application to Latent Variable Model Learning.
Marcus Greferath, Thomas Honold, Cathy Mc Fadden, Jay A. Wood, Jens Zumbrägel:
MacWilliams' Extension Theorem for Bi-Invariant Weights over Finite Principal Ideal Rings.
Mrigank Sharad, Deliang Fan, Kaushik Roy:
Spin Neurons: A Possible Path to Energy-Efficient Neuromorphic Computers.



Jean-Luc Vay, Cameron G. R. Geddes, Alice Koniges, Alex Friedman, David P. Grote, David L. Bruhwiler:
White Paper on DOE-HEP Accelerator Modeling Science Activities.
Bernardo M. Ábrego, Oswin Aichholzer, Silvia Fernández-Merchant, Pedro Ramos, Gelasio Salazar:
Shellable drawings and the cylindrical crossing number of $K_n$.
Ankur A. Kulkarni, Todd P. Coleman:
An Optimizer's Approach to Stochastic Control Problems with Nonclassical Information Structures.
J. Acacio de Barros:
Beyond the quantum formalism: consequences of a neural-oscillator model to quantum cognition.
Pedro Gonnet, Matthieu Schaller, Tom Theuns, Aidan B. G. Chalk:
SWIFT: Fast algorithms for multi-resolution SPH on multi-core architectures.
James P. Crutchfield, Christopher J. Ellison, Paul M. Riechers:
Exact Complexity: The Spectral Decomposition of Intrinsic Computation.
Louis M. Shekhtman, James P. Bagrow, Dirk Brockmann:
Robustness of skeletons and salient features in networks.
Klas Markström:
Improved bounds for the shortness coefficient of cyclically 4-edge connected cubic graphs and snarks.
Alex Ciurana, Jesús Martínez-Mateo, Momtchil Peev, Andreas Poppe, Nino Walenta, Hugo Zbinden, Vicente Martin:
Quantum Metropolitan Optical Network based on Wavelength Division Multiplexing.
Thomas Wolf, Heiko Panzer:
The ADI iteration for Lyapunov equations implicitly performs H2 pseudo-optimal model order reduction.
Pavel Krejcí, Harbir Lamba, Sergey Melnik, Dmitrii Rachinskii:
Analytical solution for a class of network dynamics with mechanical and financial applications.

Gautier Krings, Jean-François Carpantier, Jean-Charles Delvenne:
Trade integration and trade imbalances in the European Union: a network perspective.
Diego Garlaschelli, Sebastian E. Ahnert, Thomas M. A. Fink, Guido Caldarelli:
Optimal scales in weighted networks.

Gregory A. Howland, Daniel J. Lum, Matthew R. Ware, John C. Howell:
Photon counting compressive depth mapping.
Arda Halu, Satyam Mukherjee, Ginestra Bianconi:
Emergence of overlap in ensembles of spatial multiplexes and statistical mechanics of spatial interacting networks ensembles.
Bhavya Kailkhura, Swastik Brahma, Yunghsiang S. Han, Pramod K. Varshney:
Distributed Detection in Tree Topologies with Byzantines.
Maggie Habeeb, Delaram Kahrobaei:
On the Dimension of Matrix Representations of Finitely Generated Torsion Free Nilpotent Groups.
Michael Anshel, Delaram Kahrobaei:
Decision and Search in Non-abelian Cramer Shoup Public Key Cryptosystem.
Atieh Mirshahvalad, Alcides Viamontes Esquivel, Ludvig Lizana, Martin Rosvall:
Dynamics of interacting information waves in networks.
Joanna A. Ellis-Monaghan, Andrew McDowell, Iain Moffatt, Greta Pangborn:
DNA origami and the complexity of Eulerian circuits with turning costs.

Murad A. Mithani, Tomas Veloz, Liane Gabora:
Modeling the Role of Context Dependency in the Recognition and Manifestation of Entrepreneurial Opportunity.
Ágoston Róth, Imre Juhász, Alexandru Kristály:
A constructive approach to triangular trigonometric patches.
Lijun Peng, Luis Carvalho:
Bayesian Degree-Corrected Stochastic Block Models for Community Detection.
Jing Wang, Daniel Rossell, Christos G. Cassandras, Ioannis Ch. Paschalidis:
Network Anomaly Detection: A Survey and Comparative Analysis of Stochastic and Deterministic Methods.
Yanguang Chen, Feng Xu:
Modeling complex spatial dynamics of two-population interaction in urbanization process.
Giuseppe Di Molfetta, Marc Brachet, Fabrice Debbasch:
Quantum Walks in artificial electric and gravitational Fields.
Miika Hannula, Juha Kontinen:
A finite axiomatization of conditional independence and inclusion dependencies.
Javier Borondo, A. J. Morales, Juan Carlos Losada, Rosa M. Benito:
Characterizing and modeling an electoral campaign in the context of Twitter: 2011 Spanish Presidential Election as a case study.
Ashton M. Verdery, Ted Mouw, Shawn Bauldry, Peter J. Mucha:
Network Structure and Biased Variance Estimation in Respondent Driven Sampling.
Waheed U. Bajwa, Marco F. Duarte, A. Robert Calderbank:
Conditioning of Random Block Subdictionaries with Applications to Block-Sparse Recovery and Regression.

Coralia Cartis, Andrew Thompson:
A new and improved quantitative recovery analysis for iterative hard thresholding algorithms in compressed sensing.
Mark Huber:
An unbiased estimate for the mean of a {0, 1} random variable with relative error distribution independent of the mean.
Stephan Bialonski, Klaus Lehnertz:
Assortative mixing in functional brain networks during epileptic seizures.
Ryan G. James, Korana Burke, James P. Crutchfield:
Chaos Forgets and Remembers: Measuring Information Creation, Destruction, and Storage.
Yuichiro Fujiwara, Alexander Gruner, Peter Vandendriessche:
High-rate quantum low-density parity-check codes assisted by reliable qubits.
Yun-Jiang Wang, Bei Zeng, Markus Grassl, Barry C. Sanders:
Stabilizer formalism for generalized concatenated quantum codes.
Veronika Cheplygina, David M. J. Tax, Marco Loog:
Multiple Instance Learning with Bag Dissimilarities.
Zheng Yao, Xiao-Long Peng, Li-Jie Zhang, Xin-Jian Xu:
Modeling nonuniversal citation distributions: the role of scientific journals.
Sergio Daniel Pequito, Soummya Kar, A. Pedro Aguiar:
A Framework for Structural Input/Output and Control Configuration Selection in Large-Scale Systems.

Ali Mousavi, Arian Maleki, Richard G. Baraniuk:
Asymptotic Analysis of LASSOs Solution Path with Implications for Approximate Message Passing.
Pádraig Mac Carron, Ralph Kenna:
Network analysis of the Íslendinga sögur - the Sagas of Icelanders.
Guangye Chen, Luis Chacón, Christopher A. Leibs, Dana A. Knoll, William T. Taitano:
Fluid preconditioning for Newton-Krylov-based, fully implicit, electrostatic particle-in-cell simulations.
Victor M. Preciado, Michael Zargham, Chinwendu Enyioha, Ali Jadbabaie, George J. Pappas:
Optimal Resource Allocation for Network Protection: A Geometric Programming Approach.
Nicola Bezzo, Patricio J. Cruz Davalos, Francesco Sorrentino, Rafael Fierro:
Decentralized identification and control of networks of coupled mobile platforms through adaptive synchronization of chaos.
Sze Zheng Yong, Minghui Zhu, Emilio Frazzoli:
A Unified Framework for Simultaneous Input and State Estimation of Linear Discrete-time Stochastic Systems.
Chuan-Wen Loe, Henrik Jeldtoft Jensen:
Stability of the Centrality of Unions of Networks on the Same Vertex Set.
Tansel Yucelen, Gerardo De La Torre, Eric N. Johnson:
Improving Transient Performance of Adaptive Control Architectures using Frequency-Limited System Error Dynamics.
Qiang Zhang, Keqiang Li, Zengru Di, Jinshan Wu:
Games on graphs: A minor modification of payoff scheme makes a big difference.
Bernat Corominas-Murtra, Benedikt Fuchs, Stefan Thurner:
Detection of the elite structure in a virtual multiplex social system by means of a generalized $K$-core.
Ulrich Paquet, Noam Koenigstein:
One-class Collaborative Filtering with Random Graphs: Annotated Version.
Chao Zhang:
Bennett-type Generalization Bounds: Large-deviation Case and Faster Rate of Convergence.
Satoshi Takabe, Koji Hukushima:
Typical behavior of the linear programming method for combinatorial optimization problems: From a statistical-mechanical perspective.
Peter Csermely, András London, Ling-Yun Wu, Brian Uzzi:
Structure and dynamics of core-periphery networks.
Larry A. Wasserman, Mladen Kolar, Alessandro Rinaldo:
Estimating Undirected Graphs Under Weak Assumptions.
Suyu Liu, Nicola Perra, Márton Karsai, Alessandro Vespignani:
Controlling Contagion Processes in Time-Varying Networks.
Mikko Kivelä, Alexandre Arenas, Marc Barthelemy, James P. Gleeson, Yamir Moreno, Mason A. Porter:
Multilayer Networks.
Philipp Kant:
Finding Linear Dependencies in Integration-By-Parts Equations: A Monte Carlo Approach.
Peter Orchard, Felix V. Agakov, Amos J. Storkey:
Bayesian Inference in Sparse Gaussian Graphical Models.

Menghui Li, Shuguang Guan, Xiaofeng Gong, Kun Li, Jinshan Wu, Zengru Di, Choy Heng Lai:
From sparse to dense and from assortative to disassortative in online social networks.
Peng Zhang, Menghui Li, Liang Gao, Ying Fan, Zengru Di:
Characterizing and Modeling the Dynamics of Activity and Popularity.
Misha Stepanov, Aditya Sundarrajan:
Most probable failure scenario in a model power grid with random power demand.
Peter Bastian:
A fully-coupled discontinuous Galerkin method for two-phase flow in porous media with discontinuous capillary pressure.
Zhizhen Zhao, Amit Singer:
Rotationally Invariant Image Representation for Viewing Direction Classification in Cryo-EM.


Petr Lánský, Federico Polito, Laura Sacerdote:
The role of detachment of links in scale-free networks.


Subhrajit Bhattacharya, Mihail Pivtoraiko:
A Continuous Inverse Kinematics Problem for a Planar Robot Arm.
Debbie Hernández, Fernando Castaños, Leonid M. Fridman:
Pole-placement in higher-order sliding-mode control.

Saeed Ghadimi, Guanghui Lan:
Stochastic First- and Zeroth-order Methods for Nonconvex Stochastic Programming.



Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
